Design and Implementation of Programming Languages Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1977, 1977
|
| Edition: | 1st ed. 1977 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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