Ebook: Programmiersprachen: 4. Fachtagung der GI Erlangen, 8.–10. März 1976

---

Content:
Front Matter....Pages I-VI
The Semantical Definition of Programming Languages in Terms of Their Data Spaces....Pages 1-11
Anwendung der Axiomatischen Definitionsmethode Auf H?here Programmiersprachen....Pages 12-18
Systematische Analyse Semantischer Abhaengigkeiten....Pages 19-32
Ein Algebraischer Ansatz f?r Kompilerkorrektheitsbeweise....Pages 33-42
Eine Methode Zur Rechnergest?tzten Verifikation von While-Programmen....Pages 43-51
Eine Dialogsprache f?r Die Prozess-Steuerung....Pages 52-62
Zur Programmierung von Echtzeitrechnersystemen Mit R?umlich Verteilten Prozessorstationen....Pages 63-79
Programming-in-the-Large Versus Programming-in-the-Small....Pages 80-89
Einige Eigenschaften der Programmiersprache BALG....Pages 90-100
SLAN — Eine Erweiterbare Sprache Zur Unterstotzung der Strukturierten und Modularen Programmierung....Pages 101-110
Cons-Freies Programmieren in LISP Unter Deletion-Strategie....Pages 111-123
?ber die Entscheidbarkeit der Formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen....Pages 124-134
On the Implementation of Data Generality....Pages 135-144
Promid — Eine Problembezogene Programmiersprache Fuer die Mittlere Datentechnik....Pages 145-155
EHBIS: High Level Picture Programming....Pages 156-165
COMSKEE — Eine Sprache f?r Linguisten....Pages 166-174
Syntax-Error Recovery in LR-parsers....Pages 175-184
Generating Error Recovery in a Compiler Generating System....Pages 185-193
Darstellung der Artanpassung in H?heren Programmiersprachen Durch Repr?sentationen von Gruppen....Pages 194-202
Mathematical Theory of Serial Computers....Pages 203-234
Some Comments on Programming Language Design....Pages 235-252
On Generating Verification Conditions for Correctness Proofs....Pages 253-267
Back Matter....Pages 268-270

---

Content:
Front Matter....Pages I-VI
The Semantical Definition of Programming Languages in Terms of Their Data Spaces....Pages 1-11
Anwendung der Axiomatischen Definitionsmethode Auf H?here Programmiersprachen....Pages 12-18
Systematische Analyse Semantischer Abhaengigkeiten....Pages 19-32
Ein Algebraischer Ansatz f?r Kompilerkorrektheitsbeweise....Pages 33-42
Eine Methode Zur Rechnergest?tzten Verifikation von While-Programmen....Pages 43-51
Eine Dialogsprache f?r Die Prozess-Steuerung....Pages 52-62
Zur Programmierung von Echtzeitrechnersystemen Mit R?umlich Verteilten Prozessorstationen....Pages 63-79
Programming-in-the-Large Versus Programming-in-the-Small....Pages 80-89
Einige Eigenschaften der Programmiersprache BALG....Pages 90-100
SLAN — Eine Erweiterbare Sprache Zur Unterstotzung der Strukturierten und Modularen Programmierung....Pages 101-110
Cons-Freies Programmieren in LISP Unter Deletion-Strategie....Pages 111-123
?ber die Entscheidbarkeit der Formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen....Pages 124-134
On the Implementation of Data Generality....Pages 135-144
Promid — Eine Problembezogene Programmiersprache Fuer die Mittlere Datentechnik....Pages 145-155
EHBIS: High Level Picture Programming....Pages 156-165
COMSKEE — Eine Sprache f?r Linguisten....Pages 166-174
Syntax-Error Recovery in LR-parsers....Pages 175-184
Generating Error Recovery in a Compiler Generating System....Pages 185-193
Darstellung der Artanpassung in H?heren Programmiersprachen Durch Repr?sentationen von Gruppen....Pages 194-202
Mathematical Theory of Serial Computers....Pages 203-234
Some Comments on Programming Language Design....Pages 235-252
On Generating Verification Conditions for Correctness Proofs....Pages 253-267
Back Matter....Pages 268-270
....