Interpretation in a tool-fragment environment

The philosophy of composing new software tools from previously created tool fragments can facilitate the development software systems. An examination is made of 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 dataflow tracking, and other useful forms of program interpretation. An interpretation system based on this separation, called ARIES, is currently under development