Open Access
An Accountable Source-to-Source Transformation System
Reads0
Chats0
TLDR
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.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)read more
Citations
More filters
Journal ArticleDOI
Program Reusability through Program Transformation
TL;DR: A practical application of the transformational approach to program reuse based on this strategy has a measure of elegance and is also practical-the resulting Fortran program is 25 percent faster than its compiled LISP counterpart, even without extensive optimization.
Journal ArticleDOI
Grammar-Based Definition of Metaprogramming Systems
Robert D. Cameron,M. Robert Ito +1 more
TL;DR: Description d'une approche basee sur la grammaire de la specification des composants de manipulation syntactique d'un systeme de meta-programmation applicable a tout langage de programmation.
Proceedings ArticleDOI
The Python compiler for CMU Common Lisp
TL;DR: The Python compiler for CMU Common Lisp has been under development for over five years, and now forms the core of a production quality public domain Lisp implementation.
Proceedings ArticleDOI
Strategies for data abstraction in LISP
TL;DR: This paper discusses the implementation of data abstraction in a LISP program and the subtleties involved in doing so: specifically, how it is possible to enforce proper data abstractions in a language which does not provide for abstract data types.
References
More filters
Journal ArticleDOI
An analysis of inline substitution for a structured programming language
TL;DR: Preliminary results for the CLU structured programming language indicate that, in programs with a low degree of recursion, over 90 percent of all procedure calls can be eliminated, with little increase in the size of compiled code and a small savings in execution time.
Journal ArticleDOI
A mathematical theory of global program optimization
Paul Abrahams,Marvin Schaefer +1 more
Proceedings ArticleDOI
Improving and refining programs by program manipulation
TL;DR: This paper explores the notion of using source-to-source transformations interactively as a basis for an approach to program improvement and refinement.