Skip to main content
SpringerLink
Log in

Design and Implementation of Programming Languages

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

  • Conference proceedings
  • © 1977

Overview

Editors:
  1. John H. Williams
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David A. Fisher
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 54)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Section I the common programming language effort of the department of defense

    Pages 1-6

  3. Section II data types

    Pages 7-34

  4. Section III parallel processing, machine dependency and program verification

    Pages 35-61

  5. Section IV programming language specifications, optimization and run-time support systems

    Pages 62-84

  6. A note on "pointers"

    • C. P. Earnest
    Pages 85-101

  7. Some issues in data types and type checking

    • Benjamin M. Brosgol
    Pages 102-130

  8. Models of data objects and data types

    • John R. Nestor
    Pages 131-170

  9. Encapsulated data types and generic procedures

    • Alan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams
    Pages 171-214

  10. Run-time checking of data access in pascal-like languages

    • Charles N. Fischer, Richard J. LeBlanc
    Pages 215-230

  11. A language design for structured concurrency

    • Jack B. Dennis
    Pages 231-242

  12. Language features for parallel processing and resource control

    • Gregory R. Andrews, James R. McGraw
    Pages 243-287

  13. Separate definition and compilation in lis and its implementation

    • Jean D. Ichbiah, Guy Ferran
    Pages 288-297

  14. Requirements for real-time languages

    • Timothy A. Dreisbach, Larry Weissman
    Pages 298-312

  15. Remarks on the impact of program verification on language design

    • Raiph L. London
    Pages 313-320

  16. Target computer independent optimization procedures for metacompilers

    • Paul M. Cohen
    Pages 321-334

  17. The need for optimization standards

    • John B. Goodenough
    Pages 335-344

  18. A reminder for language designers

    • Frederic Richard, Henry F. Ledgard
    Pages 345-389

  19. The tinman and communications applications

    • Arthur Evans Jr., C. Robert Morgan
    Pages 390-398

  20. Programming language design issues

    • T. E. Cheatham Jr.
    Pages 399-435
Back to top

Keywords

Bibliographic Information

  • Book Title: Design and Implementation of Programming Languages

  • Book Subtitle: Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

  • Editors: John H. Williams, David A. Fisher

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0021415

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08360-3Published: 01 August 1977

  • eBook ISBN: 978-3-540-37260-8Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 498

  • Topics: Theory of Computation, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation