Conferences in DBLP

Programmiersprachen (programmier)
1976 (conf/programmier/1976)

1. Armin B. Cremers, Thomas N. Hibbard
   The Semantical Definition of Programming Languages in Terms of Their Data Spaces. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:1-11 [Conf]
   
2. Wolfgang Polak
   Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:12-18 [Conf]
   
3. Uwe Kastens
   Systematische Analyse semantischer Abhängigkeiten. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:19-32 [Conf]
   
4. Hartmut Schmeck
   Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:33-42 [Conf]
   
5. Alfred L. Luft
   Eine Methode zur rechnergestützten Verifikation von while-Programmen. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:43-51 [Conf]
   
6. Peter Rütters
   Eine Dialogsprache für die Prozeßsteuerung. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:52-62 [Conf]
   
7. Hartwig U. Steusloff
   Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:63-79 [Conf]
   
8. Frank DeRemer, Hans H. Kron
   Programming-in-the-Large versus Programming-in-the-Small. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:80-89 [Conf]
   
9. Gerhard Goos
   Einige Eigenschaften der Programmiersprache BALG. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1976, pp:90-100 [Conf]
   
10. Günter Hommel, Stefan Jähnichen, Wilfried Koch
    SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:101-110 [Conf]
    
11. Friedemann H. Simon
    Cons-freies Programmierenin LISP unter deletion-Strategie. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:111-123 [Conf]
    
12. Wolfram-Manfred Lippe
    Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:124-134 [Conf]
    
13. Arndt von Staa, Carlos José Pereira de Lucena
    On the Implementation of Data Generality. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:135-144 [Conf]
    
14. Rudolf Marty
    PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:145-155 [Conf]
    
15. Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr
    EHBIS: High Level Picture Programming. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:156-165 [Conf]
    
16. Eberhard Bertsch, Angelika Müller-von Brochowski
    COMSKEE - Eine Sprache für Linguisten. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:166-174 [Conf]
    
17. Johannes Röhrich
    Syntax-error Recovery in LR-Parsers. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:175-184 [Conf]
    
18. Joachim Ciesinger
    Generating Error Recovery in a Compiler Generating System. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:185-193 [Conf]
    
19. Harald Ganzinger
    Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentation von Gruppen. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:194-202 [Conf]
    
20. Karel Culík
    Mathematical Theory of Serial Computers. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:203-234 [Conf]
    
21. David Gries
    Some Comments on Programming Language Design. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:235-252 [Conf]
    
22. James C. King
    On Generating Verification Conditions for Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:253-267 [Conf]