Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976
著者
書誌事項
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976
（Lecture notes in computer science, 54）
Springer-Verlag, 1977
- : gw
- : us
大学図書館所蔵 件 / 全50件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies
内容説明・目次
目次
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.
「Nielsen BookData」 より
