Design and Implementation of Programming Languages 1976: Ithaca, NY, USA

John H. Williams, David A. Fisher (Eds.): 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 BibTeX

@proceedings{DBLP:conf/sigada/1976,
  editor    = {John H. Williams and
               David A. Fisher},
  title     = {Design and Implementation of Programming Languages, Proceeding
               of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 -
               October 1, 1976},
  booktitle = {Design and Implementation of Programming Languages},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {54},
  year      = {1977},
  isbn      = {3-540-08360-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Section I

David Fisher: The Common Programming Language Effort of the Department of Defense. 1-6 BibTeX

Section Ii

Data Types. 7-34 BibTeX

Section III

Parallel Processing, Machine Dependency and Program Verification. 35-61 BibTeX

Section IV

Programming Language Specifications, Optimization and Run-Time Support Systems. 62-84 BibTeX

Section IV

C. P. Earnest: A note on pointers. 86-101 BibTeX
Benjamin M. Brosgol: Some issues in data types and type checking. 102-130 BibTeX
John R. Nestor: Models of data objects and data types. 131-170 BibTeX
Alan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams: Encapsulated data types and generic. 171-214 BibTeX
Charles N. Fischer, Richard J. LeBlanc: Run-time checking of data access in Pascal-like languages. 215-230 BibTeX
Jack B. Dennis: A language design for structured concurrency. 231-242 BibTeX
Gregory R. Andrews, James R. McGraw: Language features for parallel processing and resource control. 243-287 BibTeX
Jean Ichbiah, Guy Ferran: Language definition and compilation in LIS and its implementation. 288-297 BibTeX
Timothy A. Dreisbach, Larry Weissman: Requirements for real-time languages. 298-312 BibTeX
Ralph L. London: Remarks on the impact of program verification on language design. 313-320 BibTeX
Paul M. Cohen: Target computer independent optimizaton procedure for for metacompilers. 321-334 BibTeX
John B. Goodenough: The need for optimization standards. 335-344 BibTeX
Frederic Richard, Henry F. Ledgard: A reminder for language designers. 345-389 BibTeX
Arthur Evans Jr., C. Robert Morgan: The Tinman and communications applications. 390-398 BibTeX
Thomas E. Cheatham Jr.: Programming language design issues. 399-435 BibTeX
K. Jackson: Parallel processing and modular software construction. 436-443 BibTeX
James J. Horning: After-dinner speech. 444-445 BibTeX

Appendix

The Tinman Needed Characteristics. 445-496 BibTeX