Global Data Flow Analysis and Iterative Algorithms
Journal of the ACM (JACM)
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
A One-Pass Algorithm for Overload Resolution in Ada
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic instantiation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A single-pass syntax-directed front end for Ada
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Type resolution in Ada: An implementation report
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A flexible semantic analyzer for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A simplified operator identification scheme for Ada
ACM SIGPLAN Notices
A comment on "operator identification in ADA" by Ganzinger and Ripken
ACM SIGPLAN Notices
Type resolution in Ada: an implementation report
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A flexible semantic analyzer for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
| Hi-index | 0.00 |