An Accountable Source-to-source Transformation System

Front Cover
Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 1981 - Computer programming - 99 pages
Though one is led to believe that program transformation systems which perform source-to-source transformations enable the user to understand and appreciate the resulting source program, this is not always the case. Transformations are capable of behaving and/or interacting in unexpected ways. The user who is interested in understanding the what's, why's, where's, and hows of the transformation process is left without tools for discovering them. I provide an initial step towards the solution of this problem in the form of an accountable source-to-source transformation system. It carefully records the information necessary to answer such questions, and provides mechanisms for the retrieval of this information. It is observed that though this accountable system allows the user access to relevant facts from which he may draw conclusions, further study is necessary to make the system capable of analysing these facts itself. (Author).

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Transformational Component
31
The Accountable Component
57
Conclusions
93

Bibliographic information