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

---

Content:
Front Matter....Pages I-VIII
Database Programming: Language Constructs and Execution Models....Pages 1-25
Programmverifikation in lauff?higen PASCAL-Programmen....Pages 26-40
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures....Pages 41-57
Type Inference in the Presence of Overloading, Polymorphism and Coercions....Pages 58-70
Ein konstruktives Typsystem f?r funktionale Programmiersprachen....Pages 71-84
Portable adaptierbare Compiler....Pages 85-100
Merging High-level Language and Assembly Software: Principles and Case Study....Pages 101-111
How to Implement a System for Manipulation of Attributed Trees....Pages 112-127
Context Relations - a concept for incremental context analysis in program fragments....Pages 128-143
An Environment for High-level Program Development....Pages 144-155
Erfahrungen mit einem MIL - Entwurfswerkzeug....Pages 156-170
CIDRE Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOL....Pages 171-183
Ein Testsystem fuer Echtzeitprogramme....Pages 184-192
Programmieren mit graphischen Mitteln: Die ?berwachung der Ausf?hrung von GRADE - Programmen am graphischen Bildschirm....Pages 193-206
Objektorientierte Systementwicklung: Einfluss auf die Projektorganisation....Pages 207-222
Konzepte zur Strukturierung und Generierunq adaptierbarer Anwendungssoftwaresysteme....Pages 223-237
Back Matter....Pages 238-239

---

Content:
Front Matter....Pages I-VIII
Database Programming: Language Constructs and Execution Models....Pages 1-25
Programmverifikation in lauff?higen PASCAL-Programmen....Pages 26-40
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures....Pages 41-57
Type Inference in the Presence of Overloading, Polymorphism and Coercions....Pages 58-70
Ein konstruktives Typsystem f?r funktionale Programmiersprachen....Pages 71-84
Portable adaptierbare Compiler....Pages 85-100
Merging High-level Language and Assembly Software: Principles and Case Study....Pages 101-111
How to Implement a System for Manipulation of Attributed Trees....Pages 112-127
Context Relations - a concept for incremental context analysis in program fragments....Pages 128-143
An Environment for High-level Program Development....Pages 144-155
Erfahrungen mit einem MIL - Entwurfswerkzeug....Pages 156-170
CIDRE Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOL....Pages 171-183
Ein Testsystem fuer Echtzeitprogramme....Pages 184-192
Programmieren mit graphischen Mitteln: Die ?berwachung der Ausf?hrung von GRADE - Programmen am graphischen Bildschirm....Pages 193-206
Objektorientierte Systementwicklung: Einfluss auf die Projektorganisation....Pages 207-222
Konzepte zur Strukturierung und Generierunq adaptierbarer Anwendungssoftwaresysteme....Pages 223-237
Back Matter....Pages 238-239
....