信息时代
重要学科
科学技术
編程語言理論 编程语言理论/Programming language theory
Die Programmiersprachentheorie (PLT) ist ein Teilgebiet der Informatik, das sich mit dem Entwurf, der Implementierung, der Analyse, der Charakterisierung und der Klassifizierung von formalen Sprachen, den sogenannten Programmiersprachen, befasst. Die Programmiersprachentheorie ist eng mit anderen Bereichen wie Mathematik, Softwaretechnik und Linguistik verbunden. Es gibt eine Reihe von akademischen Konferenzen und Fachzeitschriften in diesem Bereich.