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

---

Content:
Front Matter....Pages -
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

---

Content:
Front Matter....Pages -
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
....