Bjorner

Towards a Formal Description of Ada

Mitarbeit:Bjorner, Dines; Oest, O. N.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 98
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-10283-0
• 1980.
• Seitenzahl: 648
• Erscheinungstermin: 1. Dezember 1980
• Englisch
• Abmessung: 235mm x 155mm x 35mm
• Gewicht: 854g
• ISBN-13: 9783540102830
• ISBN-10: 3540102833
• Artikelnr.: 09219843

Inhaltsangabe

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.