Steps to an Advanced Ada1Programming Environment
IEEE Transactions on Software Engineering
DIANA: an intermediate language for Ada
DIANA: an intermediate language for Ada
Interface control and incremental development in the PIC environment
ICSE '85 Proceedings of the 8th international conference on Software engineering
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Design, implementation, and evaluation of a Revision Control System
ICSE '82 Proceedings of the 6th international conference on Software engineering
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A comparative evaluation of object definition techniques for large prototype systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
The philosophy of composition of new software tools from previously created tool fragments is a useful approach to facilitating the development of software systems. This paper examines the extension of this philosophy to the design of program interpreters, demonstrating how the separation of interpretation into a core algorithm, value kind definitions, and computation model allows the capture of conventional execution models, symbolic execution models, dynamic data flow tracking, and other useful forms of program interpretation. An interpretation system based upon this separation, called ARIES, is currently under development.