Towards a Formal Description of Ada -

Towards a Formal Description of Ada

D Bjorner, O.N. Oest (Herausgeber)

Buch | Softcover
XIV, 630 Seiten
1980 | 1980
Springer Berlin (Verlag)
978-3-540-10283-0 (ISBN)
106,99 inkl. MwSt

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.

Erscheint lt. Verlag 1.12.1980
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XIV, 630 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 233 mm
Gewicht 854 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
Schlagworte ADA • Compiler • Design • Development • Form • Parallelism • Semantics • Virtual machine • Virtual machines
ISBN-10 3-540-10283-3 / 3540102833
ISBN-13 978-3-540-10283-0 / 9783540102830
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85