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 BibTeX

@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 BibTeX
Wolfgang Polak: Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. 12-18 BibTeX
Uwe Kastens: Systematische Analyse semantischer Abhängigkeiten. 19-32 BibTeX
Hartmut Schmeck: Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise. 33-42 BibTeX
Alfred L. Luft: Eine Methode zur rechnergestützten Verifikation von while-Programmen. 43-51 BibTeX

Echtzeitprogrammierung/Realtime programming

Peter Rütters: Eine Dialogsprache für die Prozeßsteuerung. 52-62 BibTeX
Hartwig U. Steusloff: Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen. 63-79 BibTeX

Programmiertechnik/Programming methodology

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

Implementierungssprachen/Implementation languages

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

Grundlegende Konzepte/Foundational concepts

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

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

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

Formale Sprachen und Syntaxanalyse/Formal languages and syntax analysis

Johannes Röhrich: Syntax-error Recovery in LR-Parsers. 175-184 BibTeX
Joachim Ciesinger: Generating Error Recovery in a Compiler Generating System. 185-193 BibTeX
Harald Ganzinger: Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentation von Gruppen. 194-202 BibTeX

Hauptvorträge/Invited lectures

Karel Culík: Mathematical Theory of Serial Computers. 203-234 BibTeX
David Gries: Some Comments on Programming Language Design. 235-252 BibTeX
James C. King: On Generating Verification Conditions for Correctness Proofs. 253-267 BibTeX