Hans Jürgen Schneider, Manfred Nagl (Eds.):
Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings.
Informatik-Fachberichte 1 Springer 1976, ISBN 3-540-07619-0
Semantik und Verifikation/Semantics and verfication
- Armin B. Cremers, Thomas N. Hibbard:
The Semantical Definition of Programming Languages in Terms of Their Data Spaces.
1-11

- Wolfgang Polak:
Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.
12-18

- Uwe Kastens:
Systematische Analyse semantischer Abhängigkeiten.
19-32

- Hartmut Schmeck:
Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.
33-42

- Alfred L. Luft:
Eine Methode zur rechnergestützten Verifikation von while-Programmen.
43-51

Echtzeitprogrammierung/Realtime programming
- Peter Rütters:
Eine Dialogsprache für die Prozeßsteuerung.
52-62

- Hartwig U. Steusloff:
Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen.
63-79

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
- Johannes Röhrich:
Syntax-error Recovery in LR-Parsers.
175-184

- Joachim Ciesinger:
Generating Error Recovery in a Compiler Generating System.
185-193

- Harald Ganzinger:
Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentation von Gruppen.
194-202

Hauptvorträge/Invited lectures
- Karel Culík:
Mathematical Theory of Serial Computers.
203-234

- David Gries:
Some Comments on Programming Language Design.
235-252

- James C. King:
On Generating Verification Conditions for Correctness Proofs.
253-267

Last update Wed May 22 16:22:33 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page