Keywords:
Logic design
;
ML (Computer program language)
;
Computer science
;
Machine theory.
;
Compilers (Computer programs).
;
Mathematical Logic and Formal Languages
;
Computer Science
;
Logics and Meanings of Programs
;
Metasprache
;
Programmiersprache
Description / Table of Contents:
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.
Type of Medium:
Online Resource
Pages:
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
URL:
http://www.springerlink.com/content/ql766633l472
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-08766-3
URL:
http://dx.doi.org/10.1007/3-540-08766-4
URL:
https://doi.org/10.1007/3-540-08766-4
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE0048D720415DA485056C1257A250048D8E4.pdf
DOI:
10.1007/3-540-08766-4
Language:
English
Note:
Literaturverz. S. [375] - 382
Permalink