Language hierarchies and interfaces : International Summer School
著者
書誌事項
Language hierarchies and interfaces : International Summer School
(Lecture notes in computer science, 46)
Springer, 1976
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Sponsored by the Gesellschaft für Informatik, Fachausschuss 8: Methoden der Informatik für spezielle Anwendungen and the Betriebswirtschaftliches Institut für Organisation und Automation, Universität Köln
English or German
Includes bibliographies
内容説明・目次
目次
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」 より