UID:
almahu_9947920850702882
Format:
X, 498 p.
,
online resource.
ISBN:
9783540372608
Series Statement:
Lecture Notes in Computer Science, 54
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540083603
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0021415
