Keywords:
Computer science
;
Ada (Computer program language)
;
Programming languages (Electronic computers) Semantics
;
Compilers (Computer programs).
;
Computer Science
;
Programming Languages, Compilers, Interpreters
;
Ada
Description / Table of Contents:
The DDC Ada compiler development method -- A denotational (static) semantics method for defining Ada context conditions -- A formal semantics definition of sequential Ada -- Parallelism in Ada -- The design of a virtual machine for Ada.
Type of Medium:
Online Resource
Pages:
Online-Ressource (XII, 630 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540384151
Series Statement:
Lecture notes in computer science 98
URL:
http://www.springerlink.com/content/t722165v4142
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-10283-0
URL:
http://dx.doi.org/10.1007/3-540-10283-3
URL:
https://doi.org/10.1007/3-540-10283-3
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE00468760543F2CDBD97C1257A24004754F6.pdf
DOI:
10.1007/3-540-10283-3
Language:
English
Note:
Literaturverz. S. 626 - 630
Permalink