A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
A genealogy of control structures
Communications of the ACM
On the capabilities of while, repeat, and exit statements
Communications of the ACM
Communications of the ACM
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Langages sans Etiquettes et Transformations de Programmes
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient new algorithm for 2-D line clipping: Its development and analysis
SIGGRAPH '87 Proceedings of the 14th annual conference on Computer graphics and interactive techniques
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Program Transformation Systems
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Program Improvement: Variable Usage Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The data transform programming method: An example for file processing problems
ICSE '84 Proceedings of the 7th international conference on Software engineering
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
On compiling embedded languages in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A data driven system for syntactic transformations
ACM SIGPLAN Notices
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Toward efficiency trough generality
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 48.22 |
Syntactic transforms are the source to source program transformations which preserve the history of computation, and thus do not modify the execution time. Combined with a small number of primitive semantic transforms, they provide a powerful tool for program manipulation. A complete catalogue of syntactic transforms, and its use for solution of a system of program equations, is given. Examples of derivation of more complex source to source transformations are also presented. Two case studies illustrate the way in which syntactic and semantic source to source transformations may be used for development of clear, simple, and reasonably efficient programs.