![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Design and Implementation of Programming Languages 1976: Ithaca, NY, USA
- John H. Williams, David A. Fisher:
Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976. Lecture Notes in Computer Science 54, Springer 1977, ISBN 3-540-08360-X
Section I
- David Fisher:
The Common Programming Language Effort of the Department of Defense. 1-6
Section Ii
- Data Types. 7-34
Section III
- Parallel Processing, Machine Dependency and Program Verification. 35-61
Section IV
- Programming Language Specifications, Optimization and Run-Time Support Systems. 62-84
Section IV
- C. P. Earnest:
A note on pointers. 86-101 - Benjamin M. Brosgol:
Some issues in data types and type checking. 102-130 - John R. Nestor:
Models of data objects and data types. 131-170 - Alan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams:
Encapsulated data types and generic. 171-214 - Charles N. Fischer, Richard J. LeBlanc:
Run-time checking of data access in Pascal-like languages. 215-230 - Jack B. Dennis:
A language design for structured concurrency. 231-242 - Gregory R. Andrews, James R. McGraw:
Language features for parallel processing and resource control. 243-287 - Jean Ichbiah, Guy Ferran:
Language definition and compilation in LIS and its implementation. 288-297 - Timothy A. Dreisbach, Larry Weissman:
Requirements for real-time languages. 298-312 - Ralph L. London:
Remarks on the impact of program verification on language design. 313-320 - Paul M. Cohen:
Target computer independent optimizaton procedure for for metacompilers. 321-334 - John B. Goodenough:
The need for optimization standards. 335-344 - Frederic Richard, Henry F. Ledgard:
A reminder for language designers. 345-389 - Arthur Evans Jr., C. Robert Morgan:
The Tinman and communications applications. 390-398 - Thomas E. Cheatham Jr.:
Programming language design issues. 399-435 - K. Jackson:
Parallel processing and modular software construction. 436-443 - James J. Horning:
After-dinner speech. 444-445
Appendix
- The Tinman Needed Characteristics. 445-496
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.