Abstract is missing.
- Database Programming: Language Constructs and Execution ModelsJoachim W. Schmidt. 1-25
- Programmverifikation in lauffähigen Pascal-ProgrammenBernhard Hohlfeld. 26-40
- Transformational Derivation of Parsing Algorithms Executable on Parallel ArchitecturesHelmuth Partsch. 41-57
- Type Inference in the Presence of Overloading, Polymorphism and CoercionsThomas Letschert. 58-70
- Ein konstruktives Typsystem für funktionale ProgrammiersprachenFritz Müller. 71-84
- Portable adaptierbare CompilerRichard Ammer, Peter Meinen, Gerhard Rehmann. 85-100
- Merging High-Level Language and Assembly Software: Principles and Case StudyHelmar Burkhart, Yen Chao, Michael Moser. 101-111
- How to Implement a System for Manipulation of Attributed TreesUlrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm. 112-127
- Context Relations - a Concept for Incremental Context Analysis in Program FragmentsWolfgang Henhapl, Gregor Snelting. 128-143
- An Environment for High-level Program DevelopmentPeter Grogono, Vangalur S. Alagar. 144-155
- Erfahrungen mit einem MIL-EntwurfswerkzeugH. Dieter Rombach, K. Wegener. 156-170
- CIDRE - Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOLMechthild Budde, Christoph Knabe, Werner Simonsmeier. 171-183
- Ein Testsystem für EchtzeitprogrammeRoger Schoenberger. 184-192
- Programmieren mit graphischen Mitteln: Die Überwachung der Ausführung von GRADE-Programmen am graphischen BildschirmH. E. Sengler. 193-206
- Objektorientierte Systementwicklung: Einfluss auf die ProjektorganisationBarbara Mergler. 207-222
- Konzepte zur Strukturierung und Generierung adaptierbarer AnwendungssoftwaresystemeWerner Altmann, Brigitte Bartsch-Spörl. 223-237