The Vienna Development Method

The Meta-Language

By: D. Bjorner (Editor), C.B. Jones (Editor)

Write A Review

Paperback | 1 May 1978

At a Glance

Paperback
404 Pages

Dimensions(cm)
23.39 x 15.6 x 2.11

Paperback

$50.00

or 4 interest-free payments of $12.50 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.