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

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

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

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

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

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

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

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

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