Design and Implementation of Programming Languages : Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

J. H. Williams

ISBN 10: 354008360X / ISBN 13: 9783540083603

Published by Springer, Springer, 1977

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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.

Seller Inventory # 9783540083603

Bibliographic Details

• Title: Design and Implementation of Programming Languages : Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
• Publisher: Springer, Springer
• Publication Date: 1977
• Language: English
• ISBN 10: 354008360X
• ISBN 13: 9783540083603
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 28D millimeters 235 millimeters width by 155 millimeters height by 28 millimeters depth
• Weight: 774 grams

About this title

Synopsis

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.