Towards a Formal Description of Ada 1980

Compiler Development

A Formal Definition of Ada

An Ada Computer

Appendix

a service of Schloss Dagstuhl - Leibniz Center for Informatics