Programmiersprachen und Programmentwicklung : 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März 1984
著者
書誌事項
Programmiersprachen und Programmentwicklung : 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März 1984
（Informatik-Fachberichte, 77）
Springer, 1984
- : gw
- : us
- タイトル別名
-
Programmiersprachen und Programmentwicklung : 8. Fachtagung, Zürich, März 1984
大学図書館所蔵 全1件
注記
Includes bibliographical references
内容説明・目次
内容説明
Der Fachausschuss "Programmiersprachen und Programmentwicklung" der Gesellschaft fur Informatik e. V. veranstaltet am 8. und 9. Marz 1984 seine 8. Fachtagung. Erstmals wird diese im zweijahrigen Turnus durchgefuhrte Veranstaltung in Zusammenarbeit mit der Schweizer In- formatikerGesellschaft organisiert. Tagungsort ist die Eidgenossi- sche Technische Hochschule Zurich, jene Schule also, die dank dem leider viel zu fruh verstorbenen Numeriker Heinz Rutishauser ein Jahrzehnt lang als Algol-Hochburg galt und heute, dank dem Wirken des Informatikers Niklaus Wirth, als Geburtsstatte von Pascal und Modula-2 in Fachkreisen bestbekannt ist - und damit der Fachtagung einen hoffentlich wurdigen Rahmen verleiht. Dank der gemeinsamen Organisation der Tagung durch die beiden Ge- sellschaften prasentiert sich das Programmkomitee in der folgenden, erweiterten Besetzung: N. Wirth, ETH Zurich (Vorsitz) U. Ammann, DISER, Zurich H. Ganzinger, TU Munchen H. Gerstmann, IBM,Boblingen P. Gorny, U Oldenburg Ch. Haenel, Siemens, Munchen W. Hesse, Softlab, Munchen R. Marty, U Zurich G. Musstopf, M&T, Hamburg J. Nievergelt, ETH Zurich W. Ruisinger, Daimler-Benz, Stuttgart H. Sandmayr, BBC, Baden R.
Schild, Landis+Gyr, Zug K. Wendler, DATEV, Nurnberg R. Wilhelm, U Saarbrucken H. Wossner, TU Munchen Dieses Gremium hat sich die Auswahl von 15 aus total 63 eingegangenen Beitragen nicht leicht gemacht. Jeder Beitrag wurde von drei unab- hangigen Referenten begutachtet und bewertet. Es versteht sich von selbst, dass bei dieser Fulle der eingereichten Arbeiten leider eine ganze Reihe von wertvollen Beitragen unberucksichtigt bleiben musste, insbesondere da am bewahrten bisherigen Abwicklungsmodus - einer zweitagigen Veranstaltung mit einigen eingeladenen Hauptvortragen, ohne Parallelsitzungen - festgehalten wurde.
目次
Database Programming: Language Constructs and Execution Models (Hauptvortrag).- Programmverifikation in lauffahigen Pascal-Programmen.- Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.- Type Inference in the Presence of Overloading, Polymorphism and Coercions.- Ein konstruktives Typsystem fur 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 fur Echtzeitprogramme.- Programmieren mit graphischen Mitteln: Die Ueberwachung der Ausfuhrung von GRADE-Programmen am graphischen Bildschirm.- Objektorientierte Systementwicklung: Einfluss auf die Projektorganisation.- Konzepte zur Strukturierung und Generierung adaptierbarer Anwendungssoftwaresysteme.- Anschrift der Autoren.
「Nielsen BookData」 より