The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation strategies for DIANA attributes
ACM SIGPLAN Notices
A guide to the SQL standard (2nd ed.)
A guide to the SQL standard (2nd ed.)
On the adequacy of program dependence graphs for representing programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formalizing reusable software components in the programmer's apprentice
Software reusability
IDL: the language and its implementation
IDL: the language and its implementation
Experience and suggestions on using Ada to implement internal program representations
Proceedings of the Ada-Europe international conference on Ada : experiences and prospects: experiences and prospects
Enabling technology for knowledge sharing
AI Magazine
Knowledge interchange format: the KIF of death
AI Magazine
Object-oriented modeling and design
Object-oriented modeling and design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using SQL with object-oriented databases
Information Systems
Pecan: Program development systems that support multiple views
ICSE '84 Proceedings of the 7th international conference on Software engineering
Using Ada for industrial embedded microprocessor applications
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
| Hi-index | 0.00 |
In an earlier paper, the author discussed the use of Ada to implement the internal program representation for an Ada software re-engineering system. While many of Ada's features were used to advantage in the implementation, the lack of an inheritance mechanism and an expressive subtyping system make the implementation unnecessarily cumbersome and insecure.Had Ada 9X been available at the time, we could have achieved a simpler, more readable, and more secure design; furthermore, the implementation (most likely) would have been more efficient.Contrasting the Ada and Ada 9X implementations leads naturally to some observations on how one could build tools to convert Ada legacy code to Ada 9X.