E-Book, Deutsch, Band 77, 240 Seiten, eBook
Reihe: Informatik-Fachberichte
Ammann Programmiersprachen und Programmentwicklung
1984
ISBN: 978-3-642-69393-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März, 1984
E-Book, Deutsch, Band 77, 240 Seiten, eBook
Reihe: Informatik-Fachberichte
ISBN: 978-3-642-69393-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.