default search action
4. Fachtagung über Programmiersprachen 1976: Erlangen, Germany
- Hans Jürgen Schneider, Manfred Nagl:
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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.