7. Fachtagung über Programmiersprachen 1982: München, Germany

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > Fachtagung über Programmiersprachen

- view
- export record
  dblp key:
  - conf/programmier/1982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/1982
Hans Wössner:
Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Informatik-Fachberichte 53, Springer 1982, ISBN 3-540-11204-9

Hauptvorträge

- view
- export record
  dblp key:
  - conf/programmier/Turski82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Turski82
Wladyslaw M. Turski:
A View of Current Concerns in Software Engineering. 1-19
- view
- export record
  dblp key:
  - conf/programmier/Treleaven82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Treleaven82
Philip C. Treleaven:
Towards a Decentralised General-Purpose Computer. 21-31
- view
- export record
  dblp key:
  - conf/programmier/Paul82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Paul82
George Paul:
Directions and Trends in FORTRAN. 32
- view
- export record
  dblp key:
  - conf/programmier/Hunke82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Hunke82
Horst Hünke:
Findet Ada zurück nach Europa? 33-44

Eingereichte Vorträge

- view
- export record
  dblp key:
  - conf/programmier/Gnatz82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Gnatz82
Rupert Gnatz:
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme. 45-65
- view
- export record
  dblp key:
  - conf/programmier/Sengler82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Sengler82
Hans-Eckart Sengler:
Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation. 67-78
- view
- export record
  dblp key:
  - conf/programmier/Hirschmann82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Hirschmann82
Lutz Hirschmann:
Ein System zur rechnerunterstützten Spezifikation. 79-91
- view
- export record
  dblp key:
  - conf/programmier/Muller-Merbach82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Muller-Merbach82
Heiner Müller-Merbach:
Projektorganisation nach dem Komponentenkonzept. 93-103
- view
- export record
  dblp key:
  - conf/programmier/GotzheinKR82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/GotzheinKR82
Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß:
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. 105-116
- view
- export record
  dblp key:
  - conf/programmier/PartschL82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/PartschL82
Helmuth Partsch, Alfred Laut:
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. 117-132
- view
- export record
  dblp key:
  - conf/programmier/SchunemannU82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/SchunemannU82
Thomas M. Schünemann, Walter Ullmer:
Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern. 133-150
- view
- export record
  dblp key:
  - conf/programmier/Wilhelm82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Wilhelm82
Reinhard Wilhelm:
LL- and LR-Attributed Grammars. 151-164
- view
- export record
  dblp key:
  - conf/programmier/BohringerF82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/BohringerF82
Bernhard Böhringer, Hartmut Feuerhahn:
Static Semantic Checks of Global Variables in a Procedural Language. 165-176
- view
- export record
  dblp key:
  - conf/programmier/Giegerich82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Giegerich82
Robert Giegerich:
A Formal Model of Instruction Set Semantics. 177-190
- view
- export record
  dblp key:
  - conf/programmier/Sturm82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Sturm82
Karl-Heinz Sturm:
System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen. 191-207
- view
- export record
  dblp key:
  - conf/programmier/Bertsch82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Bertsch82
Eberhard Bertsch:
Modularer Mustervergleich im Rahmen prozeduraler Programmierung. 209-220
- view
- export record
  dblp key:
  - conf/programmier/Grosch82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/Grosch82
Josef Grosch:
A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions. 221-236

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.