UID:
almahu_9947920996902882
Umfang:
XX, 384 p.
,
online resource.
ISBN:
9783540358367
Serie:
Lecture Notes in Computer Science, 61
Anmerkung:
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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783540087663
Sprache:
Englisch
Fachgebiete:
Informatik
,
Wirtschaftswissenschaften
Schlagwort(e):
Aufsatzsammlung
DOI:
10.1007/3-540-08766-4
URL:
http://dx.doi.org/10.1007/3-540-08766-4
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink