An Accountable Source-to-Source Transformation System.

Abstract

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1981
Accession Number
ADA110115

Entities

People

  • Barbara Sue Kerns Steele

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Accountability
  • Acquisition
  • Algorithms
  • Artificial Intelligence
  • Automatic
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • High Level Languages
  • Numbers
  • Object Code
  • Optimization
  • Programming Languages
  • Software Development
  • Theses

Readers

  • Computer Science.
  • Educational Psychology
  • Maritime Combat Support and Expeditionary Logistics.