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.
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit
this link.