The Vienna Development Method: The Meta-Language
(Sprache: Englisch)
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.-...
Leider schon ausverkauft
versandkostenfrei
Buch
32.09 €
Produktdetails
Produktinformationen zu „The Vienna Development Method: The Meta-Language “
Klappentext zu „The Vienna Development Method: The Meta-Language “
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.
Inhaltsverzeichnis zu „The Vienna Development Method: The Meta-Language “
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.
Bibliographische Angaben
- 1978, 404 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: C. B. Jones, D. Bjorner
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540087664
- ISBN-13: 9783540087663
- Erscheinungsdatum: 01.05.1978
Sprache:
Englisch
Kommentar zu "The Vienna Development Method: The Meta-Language"
0 Gebrauchte Artikel zu „The Vienna Development Method: The Meta-Language“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "The Vienna Development Method: The Meta-Language".
Kommentar verfassen