default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDesign 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
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.
last updated on 2025-12-05 22:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
