Abstract is missing.
- The Common Programming Language Effort of the Department of DefenseDavid Fisher. 1-6
- Data Types7-34
- Parallel Processing, Machine Dependency and Program Verification35-61
- Programming Language Specifications, Optimization and Run-Time Support Systems62-84
- A note on pointersC. P. Earnest. 86-101
- Some issues in data types and type checkingBenjamin M. Brosgol. 102-130
- Models of data objects and data typesJohn R. Nestor. 131-170
- Encapsulated data types and genericAlan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams. 171-214
- Run-time checking of data access in Pascal-like languagesCharles N. Fischer, Richard J. LeBlanc. 215-230
- A language design for structured concurrencyJack B. Dennis. 231-242
- Language features for parallel processing and resource controlGregory R. Andrews, James R. McGraw. 243-287
- Language definition and compilation in LIS and its implementationJean Ichbiah, Guy Ferran. 288-297
- Requirements for real-time languagesTimothy A. Dreisbach, Larry Weissman. 298-312
- Remarks on the impact of program verification on language designRalph L. London. 313-320
- Target computer independent optimizaton procedure for for metacompilersPaul M. Cohen. 321-334
- The need for optimization standardsJohn B. Goodenough. 335-344
- A reminder for language designersFrederic Richard, Henry F. Ledgard. 345-389
- The Tinman and communications applicationsArthur Evans Jr., C. Robert Morgan. 390-398
- Programming language design issuesThomas E. Cheatham Jr.. 399-435
- Parallel processing and modular software constructionK. Jackson. 436-443
- After-dinner speechJames J. Horning. 444-445
- The Tinman Needed Characteristics445-496