4. Fachtagung über Programmiersprachen 1976: Erlangen, Germany

Semantik und Verifikation/Semantics and verfication

Echtzeitprogrammierung/Realtime programming

Programmiertechnik/Programming methodology

Implementierungssprachen/Implementation languages

Grundlegende Konzepte/Foundational concepts

Programmiersprachen für spezielle Anwendungen/Programming Languages for special applications

Formale Sprachen und Syntaxanalyse/Formal languages and syntax analysis

Hauptvorträge/Invited lectures