Towards a Formal Description of Ada 1980

Compiler Development

A Formal Definition of Ada

An Ada Computer

Appendix

Schloss Dagstuhl LZI