Design and Implementation of Programming Languages

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
Herausgegeben:Williams, J. H.; Fisher, D. A.

• Broschiertes Buch

Produktbeschreibung

Section I the common programming language effort of the department of defense.- Section II data types.- Section III parallel processing, machine dependency and program verification.- Section IV programming language specifications, optimization and run-time support systems.- A note on pointers.- Some issues in data types and type checking.- Models of data objects and data types.- Encapsulated data types and generic procedures.- Run-time checking of data access in pascal-like languages.- A language design for structured concurrency.- Language features for parallel processing and resource control.- Separate definition and compilation in lis and its implementation.- Requirements for real-time languages.- Remarks on the impact of program verification on language design.- Target computer independent optimization procedures for metacompilers.- The need for optimization standards.- A reminder for language designers.- The tinman and communications applications.- Programming language design issues.- Parallel processing and modular software construction.- After-dinner speech.- Tinman needed characteristics.

Produktdetails

• Lecture Notes in Computer Science 54
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-08360-3
• 1977.
• Seitenzahl: 516
• Erscheinungstermin: 1. August 1977
• Englisch
• Abmessung: 235mm x 155mm x 28mm
• Gewicht: 717g
• ISBN-13: 9783540083603
• ISBN-10: 354008360X
• Artikelnr.: 23110316

Inhaltsangabe

Section I the common programming language effort of the department of defense.- Section II data types.- Section III parallel processing, machine dependency and program verification.- Section IV programming language specifications, optimization and run-time support systems.- A note on "pointers".- Some issues in data types and type checking.- Models of data objects and data types.- Encapsulated data types and generic procedures.- Run-time checking of data access in pascal-like languages.- A language design for structured concurrency.- Language features for parallel processing and resource control.- Separate definition and compilation in lis and its implementation.- Requirements for real-time languages.- Remarks on the impact of program verification on language design.- Target computer independent optimization procedures for metacompilers.- The need for optimization standards.- A reminder for language designers.- The tinman and communications applications.- Programming language design issues.- Parallel processing and modular software construction.- After-dinner speech.- Tinman needed characteristics.