Towards a Formal Description of Ada | ISBN 9783540384151

Towards a Formal Description of Ada

herausgegeben von D Bjorner und O.N. Oest
Mitwirkende
Herausgegeben vonD Bjorner
Herausgegeben vonO.N. Oest
Buchcover Towards a Formal Description of Ada  | EAN 9783540384151 | ISBN 3-540-38415-4 | ISBN 978-3-540-38415-1

Towards a Formal Description of Ada

herausgegeben von D Bjorner und O.N. Oest
Mitwirkende
Herausgegeben vonD Bjorner
Herausgegeben vonO.N. Oest

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.