Language hierarchies and interfaces : international summer school
著者
書誌事項
Language hierarchies and interfaces : international summer school
(Lecture notes in computer science, 46)
Springer-Verlag, 1976
- : gw
- : us
大学図書館所蔵 件 / 全57件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"The international summer school took place fom July 23 to August 2, 1975, in Marktoberdorf ... and was sponsored by the NATO Scientific Affairs Division under the 1975 Advanced Study Institutes programme."
Includes bibliographical references
内容説明・目次
目次
On the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving parallel programs correct.- The programming language concurrent pascal.- Guarded commands, non-determinacy and a calculus for the derivation of programs.- Program production by successive transformation.- Programming as an evolutionary process.- Proof of correctness of data representations.- A philosophy of programming.- The structure of an operating system.- Language aspects in operating systems.- Structured programming in the basic layers of an operating system.- A time-wise hierarchy imposed upon the use of a two-level store.- Problems in many-language systems.
「Nielsen BookData」 より