Programmiersprachen 4. Fachtagung der GI Erlangen, 8.10. Mrz 1976 [Paperback]

Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf h?here Programmiersprachen.- Systematische Analyse semantischer Abh?ngigkeiten.- Ein algebraischer Ansatz f?r Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergest?tzten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache f?r die Proze?steuerung.- Zur Programmierung von Echtzeitrechnersystemen mit r?umlich verteilten Prozessorstationen.- Programmiertechnik/Programming Methodology.- Programming-in-the-Large versus Programming-in-the-Small.- Implementierungssprachen/Implementation Languages.- Einige Eigenschaften der Programmiersprache BALG.- SLAN  eine erweiterbare Sprache zur Unterst?tzung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- ?ber die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen f?r Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID  eine problembezogene Programmiersprache f?r die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE  Eine Sprache f?r Linguisten.- Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis.- Syntax-error Recovery in LR-Parsers.- Generating Error Recovery in a Compiler Generating System.- Darstellung der Artanpassung in h?heren Programmiersprachen durch Repr?sentationen von Gruppen.- Hauptvortr?ge/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments on Programming Language Design.- On Generating Verification Conditions for Correctness Proofs.Springer Book Archives