Towards a Formal Description of Ada

Inhaltsverzeichnis

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