Programmiersprachen Und Programmentwicklung: 8. Fachtagung, Veranstaltet Vom Fachausschuß 2.1 Der GI Und Der Schweizer Informatiker Gesellschaft Züric

ISBN-13: 9783540129059 / Niemiecki / Miękka / 1984 / 240 str.

U. Ammann

Opis

ohne Parallelsitzungen - festgehalten wurde.

Spis treści

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.