Towards a Formal Description of Ada

D Bjorner, O.N. Oest (Herausgeber)

Buch | Softcover

XIV, 630 Seiten

1980
Springer Berlin (Verlag)
978-3-540-10283-0 (ISBN)

Inhalt

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.

Produkt-Details

• 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
• Themenwelt: 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