Get Free Shipping on orders over $79
Lecture Notes in Computer Science : The Meta-Language - D. Bjorner

Lecture Notes in Computer Science

The Meta-Language

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

Paperback | 1 May 1978

At a Glance

Paperback


$50.00

or 4 interest-free payments of $12.50 with

 or 

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.

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$129.75

13%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
Applied Mathematics with F# - Sudipta Mukherjee