interpretation in a tool-fragment environment
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.
interpretation tool environments compositing software software tools fragmentation developer systems paper extensibility design core algorithm value definition computer modeling model symbolic execution dynamic data flow tracking