![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
7. Fachtagung über Programmiersprachen 1982: München, Germany
- 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
- Wladyslaw M. Turski:
A View of Current Concerns in Software Engineering. 1-19 - Philip C. Treleaven:
Towards a Decentralised General-Purpose Computer. 21-31 - George Paul:
Directions and Trends in FORTRAN. 32 - Horst Hünke:
Findet Ada zurück nach Europa? 33-44
Eingereichte Vorträge
- Rupert Gnatz:
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme. 45-65 - Hans-Eckart Sengler:
Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation. 67-78 - Lutz Hirschmann:
Ein System zur rechnerunterstützten Spezifikation. 79-91 - Heiner Müller-Merbach:
Projektorganisation nach dem Komponentenkonzept. 93-103 - 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 - Helmuth Partsch, Alfred Laut:
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. 117-132 - Thomas M. Schünemann, Walter Ullmer:
Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern. 133-150 - Reinhard Wilhelm:
LL- and LR-Attributed Grammars. 151-164 - Bernhard Böhringer, Hartmut Feuerhahn:
Static Semantic Checks of Global Variables in a Procedural Language. 165-176 - Robert Giegerich:
A Formal Model of Instruction Set Semantics. 177-190 - Karl-Heinz Sturm:
System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen. 191-207 - Eberhard Bertsch:
Modularer Mustervergleich im Rahmen prozeduraler Programmierung. 209-220 - Josef Grosch:
A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions. 221-236
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.