Programmiersprachen und Programmentwicklung

8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März, 1984

herausgegeben von U. Ammann

Database Programming: Language Constructs and Execution Models (Hauptvortrag).
Programmverifikation in lauffähigen Pascal-Programmen.
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.
Type Inference in the Presence of Overloading, Polymorphism and Coercions.
Ein konstruktives Typsystem für funktionale Programmiersprachen.
Portable adaptierbare Compiler.
Merging High-Level Language and Assembly Software: Principles and Case Study.
How to Implement a System for Manipulation of Attributed Trees.
Context Relations - a Concept for Incremental Context Analysis in Program Fragments.
An Environment for High-level Program Development.
Erfahrungen mit einem MIL - Entwurfswerkzeug.
CIDRE - Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOL.
Ein Testsystem für Echtzeitprogramme.
Programmieren mit graphischen Mitteln: Die Ueberwachung der Ausführung von GRADE-Programmen am graphischen Bildschirm.
Objektorientierte Systementwicklung: Einfluss auf die Projektorganisation.
Konzepte zur Strukturierung und Generierung adaptierbarer Anwendungssoftwaresysteme.
Anschrift der Autoren.