The Vienna development method : the meta-language

書誌事項

The Vienna development method : the meta-language

edited by D. Bjørner and C.B. Jones

(Lecture notes in computer science, 61)

Springer-Verlag, 1978

  • : gw
  • : us

タイトル別名

Meta-language

この図書・雑誌をさがす
注記

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」 より

関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA03623590
  • ISBN
    • 3540087664
    • 0387087664
  • LCCN
    78007232
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin ; New York
  • ページ数/冊数
    xv, 382 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ