UID:
edocfu_9959186256002883
Umfang:
1 online resource (XX, 384 p.)
Ausgabe:
1st ed. 1978.
Ausgabe:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-35836-6
Serie:
Lecture Notes in Computer Science, 61
Anmerkung:
Bibliographic Level Mode of Issuance: Monograph
,
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.
,
English
In:
Springer eBooks
Weitere Ausg.:
ISBN 3-540-08766-4
Sprache:
Englisch
DOI:
10.1007/3-540-08766-4
URL:
http://dx.doi.org/10.1007/3-540-08766-4
