The Vienna development method : the meta-language

Author(s)

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

Bibliographic Information

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

Other Title

Meta-language

Note

Bibliography: p. [375]-382

Description and Table of Contents

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA03623590
• ISBN:
  • 3540087664
  • 0387087664
• LCCN: 78007232
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: xv, 382 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.7
  • DC : 001.6/424
• Subject Headings:
  • LCSH : ML (Computer program language)
• Parent Bibliography ID:
  • BA00009279