
Design and Implementation of Programming Languages
Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
Springer (Publisher)
Published on 1. August 1977
Book
Paperback/Softback
X, 498 pages
978-3-540-08360-3 (ISBN)
Description
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.
More details
Series
Edition
1977 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 498 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 28 mm
Weight
774 gr
ISBN-13
978-3-540-08360-3 (9783540083603)
DOI
10.1007/BFb0021415
Schweitzer Classification
Content
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.