The Vienna development method : the meta-language
著者
書誌事項
The Vienna development method : the meta-language
(Lecture notes in computer science, 61)
Springer-Verlag, 1978
- : gw
- : us
- タイトル別名
-
Meta-language
大学図書館所蔵 件 / 全48件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [375]-382
内容説明・目次
目次
On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography.
「Nielsen BookData」 より