4. Fachtagung über Programmiersprachen 1976: Erlangen, Germany

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

@proceedings{DBLP:conf/programmier/1976,
  editor    = {Hans J{\"u}rgen Schneider and
               Manfred Nagl},
  title     = {Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. M{\"a}rz
               1976, Proceedings},
  booktitle = {Fachtagung {\"u}ber Programmiersprachen},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {1},
  year      = {1976},
  isbn      = {3-540-07619-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Frank DeRemer, Hans H. Kron: Programming-in-the-Large versus Programming-in-the-Small. 80-89

Implementierungssprachen/Implementation languages

Gerhard Goos: Einige Eigenschaften der Programmiersprache BALG. 90-100
Günter Hommel, Stefan Jähnichen, Wilfried Koch: SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. 101-110

Grundlegende Konzepte/Foundational concepts

Friedemann H. Simon: Cons-freies Programmierenin LISP unter deletion-Strategie. 111-123
Wolfram-Manfred Lippe: Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen. 124-134
Arndt von Staa, Carlos José Pereira de Lucena: On the Implementation of Data Generality. 135-144

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

Rudolf Marty: PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik. 145-155
Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr: EHBIS: High Level Picture Programming. 156-165
Eberhard Bertsch, Angelika Müller-von Brochowski: COMSKEE - Eine Sprache für Linguisten. 166-174

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