default search action

combined dblp search
author search
venue search
publication search

ask others

4. Fachtagung über Programmiersprachen 1976: Erlangen, Germany

> Home > Conferences and Workshops > Fachtagung über Programmiersprachen

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/1976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/1976
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

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/CremersH76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/CremersH76
Armin B. Cremers, Thomas N. Hibbard:
The Semantical Definition of Programming Languages in Terms of Their Data Spaces. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Polak76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Polak76
Wolfgang Polak:
Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. 12-18
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Kastens76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Kastens76
Uwe Kastens:
Systematische Analyse semantischer Abhängigkeiten. 19-32
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Schmeck76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Schmeck76
Hartmut Schmeck:
Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise. 33-42
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Luft76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Luft76
Alfred L. Luft:
Eine Methode zur rechnergestützten Verifikation von while-Programmen. 43-51

Echtzeitprogrammierung/Realtime programming

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Rutters76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Rutters76
Peter Rütters:
Eine Dialogsprache für die Prozeßsteuerung. 52-62
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Steusloff76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Steusloff76
Hartwig U. Steusloff:
Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen. 63-79

Programmiertechnik/Programming methodology

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/DeRemerK76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/DeRemerK76
Frank DeRemer, Hans H. Kron:
Programming-in-the-Large versus Programming-in-the-Small. 80-89

Implementierungssprachen/Implementation languages

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Goos76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Goos76
Gerhard Goos:
Einige Eigenschaften der Programmiersprache BALG. 90-100
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/HommelJK76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/HommelJK76
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

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Simon76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Simon76
Friedemann H. Simon:
Cons-freies Programmierenin LISP unter deletion-Strategie. 111-123
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Lippe76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Lippe76
Wolfram-Manfred Lippe:
Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen. 124-134
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/StaaL76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/StaaL76
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

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Marty76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Marty76
Rudolf Marty:
PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik. 145-155
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/BrugmannRL76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/BrugmannRL76
Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr:
EHBIS: High Level Picture Programming. 156-165
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/BertschB76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/BertschB76
Eberhard Bertsch, Angelika Müller-von Brochowski:
COMSKEE - Eine Sprache für Linguisten. 166-174

Formale Sprachen und Syntaxanalyse/Formal languages and syntax analysis

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Rohrich76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Rohrich76
Johannes Röhrich:
Syntax-error Recovery in LR-Parsers. 175-184
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Ciesinger76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Ciesinger76
Joachim Ciesinger:
Generating Error Recovery in a Compiler Generating System. 185-193
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Ganzinger76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Ganzinger76
Harald Ganzinger:
Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentation von Gruppen. 194-202

Hauptvorträge/Invited lectures

- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Culik76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Culik76
Karel Culík:
Mathematical Theory of Serial Computers. 203-234
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/Gries76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Gries76
David Gries:
Some Comments on Programming Language Design. 235-252
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/King76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/King76
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.