IT-Times
Wichtige Disziplinen
Wissenschaft und Technik
Theorie der Programmiersprachen/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.