Programmiersprachen

5. Fachtagung der GI, Braunschweig, 8./9. März 1978. 24,4 cm / 17,0 cm / 1,1 cm ( B/H/T )
Buch (Softcover), 188 Seiten
EAN 9783540086802
Veröffentlicht März 1978
Verlag/Hersteller Springer

Auch erhältlich als:

eBook (pdf)
42,99
54,99 inkl. MwSt.
Teilen
Beschreibung

Hauptvorträge.- Zur Akzeptanz der Datenverarbeitung in Forschung und Verwaltung.- Prozeßprogrammiersprachen und Portabilität.- 1st COBOL unsterblich?.- Kurzvorträge.- Vergleichende Betrachtung modularer Sprachkonzepte.- Towards a wide spectrum language to support program specification and program development.- Definition einer Programmanalysemaschine in VDL.- Strategies for the synthesis of algorithms.- An introduction to LIMP: an experimental language for the implementation of messages and processes.- Ein Übersetzerbau-Praktikum.- Beschleunigung von LaufZeitsystemen durch Mikro-Programmierung.- Syntaxgesteuerte Generierung von ALGOL-68-R- Programmen.- Erfahrungen mit höheren Programmiersprachen zur Lösung unterschiedlichster Aufgaben im technischen Bereich der Thyssen Aktiengesellschaft.- The connection between axiomatic and denotational semantics of programming languages.- Anschriften der Autoren.

Inhaltsverzeichnis

Hauptvorträge.- Zur Akzeptanz der Datenverarbeitung in Forschung und Verwaltung.- Prozeßprogrammiersprachen und Portabilität.- 1st COBOL unsterblich?.- Kurzvorträge.- Vergleichende Betrachtung modularer Sprachkonzepte.- Towards a wide spectrum language to support program specification and program development.- Definition einer Programmanalysemaschine in VDL.- Strategies for the synthesis of algorithms.- An introduction to LIMP: an experimental language for the implementation of messages and processes.- Ein Übersetzerbau-Praktikum.- Beschleunigung von LaufZeitsystemen durch Mikro-Programmierung.- Syntaxgesteuerte Generierung von ALGOL-68-R- Programmen.- Erfahrungen mit höheren Programmiersprachen zur Lösung unterschiedlichster Aufgaben im technischen Bereich der Thyssen Aktiengesellschaft.- The connection between axiomatic and denotational semantics of programming languages.- Anschriften der Autoren.

Hersteller
Springer-Verlag KG
Sachsenplatz 4-6

AT - 1201 Wien

E-Mail: ProductSafety@springernature.com