TY  - BOOK
AU  - Williams,John H.
AU  - Fisher,David A.
ED  - SpringerLink (Online service)
TI  - Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop Ithaca, October 1976 
T2  - Lecture Notes in Computer Science,
SN  - 9783540372608
AV  - QA75.5-76.95 
U1  - 004 23
PY  - 1977///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Science
KW  - Computer Science, general
N1  - 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
UR  - http://dx.doi.org/10.1007/BFb0021415
ER  -