0

Towards a Formal Description of Ada

Lecture Notes in Computer Science 98

Bjorner, D / N Oest, /
Erschienen am 01.09.2007
CHF 127,00
(inkl. MwSt.)

Noch nicht lieferbar

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540102830
Sprache: Englisch
Auflage: 1. Auflage

Beschreibung

InhaltsangabeThe 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.