Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309