Get Free Shipping on orders over $89
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

AI Engineering : Building Applications with Foundation Models - Chip Huyen
Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Nonlinear Analysis for Human Movement Variability - Nicholas Stergiou

RRP $194.00

$171.75

11%
OFF
Theory of Computation for Software Developers - Maxim Mozgovoy

RRP $189.00

$167.75

11%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Mining Complex Networks : Advances in Applied Mathematics - Bogumi? Kami?ski
Mining Complex Networks : Advances in Applied Mathematics - Bogumi? Kami?ski
Beading with Algorithms : Cellular Automata in Peyote Stitch - Gwen  Fisher