The Vienna Development Method: The Meta-Language by D. BjornerThe Vienna Development Method: The Meta-Language by D. Bjorner

The Vienna Development Method: The Meta-Language

EditorD. Bjorner

Paperback | May 1, 1978

Pricing and Purchase Info


Earn 248 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:The Vienna Development Method: The Meta-LanguageFormat:PaperbackDimensions:382 pagesPublished:May 1, 1978Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540087664

ISBN - 13:9783540087663

Look for similar items by category:


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.