UID:
edocfu_9959186272402883
Format:
1 online resource (X, 498 p.)
Edition:
1st ed. 1977.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-37260-1
Series Statement:
Lecture Notes in Computer Science, 54
Note:
Bibliographic Level Mode of Issuance: Monograph
,
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.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-08360-X
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0021415
