Programmiersprachen: 5. Fachtagung der GI, Braunschweig, 8./9. März 1978: 12 - Brossura

Alber, Klaus

Brossura

ISBN 10: 3540086803 ISBN 13: 9783540086802

Casa editrice: Springer Berlin Heidelberg, 1978

Riassunto

Nach den vier vorangegangenen Fachtagungen 1) in Mlinchen (1971), Saar- brlicken (1972), Kiel (1974) und Erlangen (1976) veranstaltet der Fach- ausschuB Programmiersprachen der Gesellschaft flir Informatik 2) seine flinfte Fachtagung am 8. und 9. Marz 1978 in Braunschvleig. Hatten bei diesen Fachtagungen neben dem Ubersetzerbau zunachst Fragen des Entwurfes und der Definition von Programmiersprachen, danach der Semantik und Programmverifikation sowie spezieller Programmiersprachen im Vordergrund gestanden, so hatte sich der FachausschuB vorgenommen, diese Tagung vor allem der Anwendung von Programmiersprachen zu wid- men. Dieses betrifft einerseits Fragen der Programmiermethodik, Pro- grammkonstruktion und hierflir geeigneter sprachlicher Mittel und an- dererseits die Benutzung von Programmiersprachen in der Praxis, urn endlich die nach wie vor weit offene Llicke zwischen Hochschulforschung und industrieller Praxis liberbrlicken zu helfen. Leider kamen wieder fast aile eingereichten Vortrage aus dem Bereich der Hochschulen. Wahrend hierbei der erste der beiden genannten The- menkreise auf sehr verschiedenartige Weise angesprochen wurde, blie- ben Anmeldungen zum Themenkreis der praktischen Anwendungen so gut wie ganz aus. Aus diesem Grunde hat der FachausschzB einige sehr kritische Stimmen zur Aufnahme der Programmiersprachen in der Praxis zu Haupt- vortragen eingeladen, urn damit den dringend notwendigen Dialog zu stimulieren. AuBer den in diesem Band veroffentlichten drei eingeladenen Hauptvor- tragen aus der Praxis und den (aus ca. 30 ausgewahlten) zehn einge- reichten Kurzvortragen tiberwiegend aus den Hochschulen, wurde Mrs.

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 1978
• Lingua: Tedesco
• ISBN 10: 3540086803
• ISBN 13: 9783540086802
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 188
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Germania