The DDC Ada compiler development method
This paper outlines the specific development methods used in a large scale, full Ada compiler & run-time system development project. The most significant feature of this project is its insistence on using formal, mathematics based definition-, specification- and implementation techniques. The basis for the compiler is twofold: First a formal, denotational & abstract semantics specification of Ada, including tasking; then an abstract compiling algorithm derived from the dynamic semantics (denotational) specification from Ada into (so-called) A-code.
KeywordsVirtual Machine Formal Definition Abstract Model Abstract Syntax Static Semantic
Unable to display preview. Download preview PDF.