Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Mai 1978 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 610 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540087663 |
| Seiten | 384 |