Attributed linear intermediate representations for retargetable code generators
Software—Practice & Experience
Advances in compiler technology
Annual review of computer science vol. 1, 1986
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Integrating code generation and peephole optimization
Acta Informatica
DIANA: an intermediate language for Ada
DIANA: an intermediate language for Ada
A One-Pass Algorithm for Overload Resolution in Ada
ACM Transactions on Programming Languages and Systems (TOPLAS)
Storage reclamation models for Ada programs
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Design and verification of distributed tasking supervisors for concurrent programming languages
Design and verification of distributed tasking supervisors for concurrent programming languages
Deploying expert systems in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Using Ada to maximize verbatim software reuse
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
Current and future trends in compiler validation and evaluation (invited presentation)
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Toward the efficient implementation of expert systems in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
| Hi-index | 4.10 |
The key technical issues involved in producing high-quality Ada compilers and related support tools are discussed. These include real-time issues, programming tools and environments, and code optimization. Also addressed are some important problems that compiler designers face, for example, determining which deficiencies of existing Ada systems can be attributed to the language and which are simply hard-to-implement features or unresolved issued in Ada compiler technology.