Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop Ithaca, October 1976

Prof. John H. Williams, Dr. David A. Fisher (eds.)9783540083603, 354008360X, 038708360X, 9780387083605

Table of contents :
Section I the common programming language effort of the department of defense….Pages 1-6
Section II data types….Pages 7-34
Section III parallel processing, machine dependency and program verification….Pages 35-61
Section IV programming language specifications, optimization and run-time support systems….Pages 62-84
A note on “pointers”….Pages 85-101
Some issues in data types and type checking….Pages 102-130
Models of data objects and data types….Pages 131-170
Encapsulated data types and generic procedures….Pages 171-214
Run-time checking of data access in pascal-like languages….Pages 215-230
A language design for structured concurrency….Pages 231-242
Language features for parallel processing and resource control….Pages 243-287
Separate definition and compilation in lis and its implementation….Pages 288-297
Requirements for real-time languages….Pages 298-312
Remarks on the impact of program verification on language design….Pages 313-320
Target computer independent optimization procedures for metacompilers….Pages 321-334
The need for optimization standards….Pages 335-344
A reminder for language designers….Pages 345-389
The tinman and communications applications….Pages 390-398
Programming language design issues….Pages 399-435
Parallel processing and modular software construction….Pages 436-443
After-dinner speech….Pages 444-444
Tinman needed characteristics….Pages 445-496