Format:
Online-Ressource (XV, 382 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540358367
Series Statement:
Lecture notes in computer science 61
Content:
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.
Note:
Literaturverz. S. [375] - 382
Additional Edition:
ISBN 3540087664
Additional Edition:
ISBN 0387087664
Additional Edition:
ISBN 9783540087663
Additional Edition:
Erscheint auch als Druck-Ausgabe The Vienna development method: the meta-language Berlin : Springer, 1978 ISBN 3540087664
Additional Edition:
ISBN 0387087664
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Metasprache
;
Programmiersprache
DOI:
10.1007/3-540-08766-4
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Bjørner, Dines 1937-
Bookmarklink