Programmiersprachen

Inhaltsverzeichnis

• Inhalt/Contents.
• Semantik und Verifikation/Semantics and Verification.
• The Semantical Definition of Programming Languages in Terms of Their Data Spaces.
• Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.
• Systematische Analyse semantischer Abhängigkeiten.
• Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.
• Eine Methode zur rechnergestützten Verifikation von while-Programmen.
• Echtzeitprogrammierung/Realtime Programming.
• Eine Dialogsprache für die Prozeßsteuerung.
• Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen.
• Programmiertechnik/Programming Methodology.
• Programming-in-the-Large versus Programming-in-the-Small.
• Implementierungssprachen/Implementation Languages.
• Einige Eigenschaften der Programmiersprache BALG.
• SLAN — eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung.
• Grundlegende Konzepte/Foundational Concepts.
• Cons-freies Programmieren in LISP unter deletion-Strategie.
• Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.
• On the Implementation of Data Generality.
• Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications.
• PROMID — eine problembezogene Programmiersprache für die Mittlere Datentechnik.
• EHBIS: High Level Picture Programming.
• COMSKEE — Eine Sprache für Linguisten.
• Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis.
• Syntax-error Recovery in LR-Parsers.
• Generating Error Recovery in a Compiler Generating System.
• Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentationen von Gruppen.
• Hauptvorträge/Invited Lectures.
• Mathematical Theory of Serial Computers.
• Some Comments onProgramming Language Design.
• On Generating Verification Conditions for Correctness Proofs.