The Vienna development method : the meta-language

著者

• Bjørner, D. (Dines)
• Jones, Cliff B.

書誌事項

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

詳細情報

• NII書誌ID(NCID): BA03623590
• ISBN:
  • 3540087664
  • 0387087664
• LCCN: 78007232
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: xv, 382 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.7
  • DC : 001.6/424
• 件名:
  • LCSH : ML (Computer program language)
• 親書誌ID:
  • BA00009279