Add to ORKGAbstract. Program transformation is a popular technique for attempt-ing to improve the efficiency of a program. At a high level, program trans-formation is the process of taking an input program and transforming it into an improved version of the original, bearing the same constraints as the original, e.g. termination constraints. In this paper, we focus on three fold/unfold [3] based transformation systems, positive supercom
Program transformation is used in a wide range of applications including compiler construction, opt...
This paper consists of a survey of current, and past, work on *program transformation* for the purpo...
This Final Report of research conducted under the support of NSF grant MCS75 13875 A01 summarizes re...
peer-reviewedProgram transformation is a popular technique for attempting to improve the e ciency o...
. We revisit the main techniques of program transformation which are used in partial evaluation, mix...
Turchin's supercompilation is a program transformation technique for functional languages. A su...
Direct, construct by construct translation from one high level language to another often produces ...
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforesta...
advisor on this work was Morten Heine B. Sørensen, Assistant Professor at DIKU. This thesis is in En...
AbstractProgram transformation is the mechanical manipulation of a program in order to improve it re...
Much of the difficulty of programming can be attributed to the clash between the goal of efficiency...
peer-reviewedThis paper shows that a bisimulation approach can be used to prove the correctness of ...
Abstract. This paper briefly describes the use of the program transformation methodology for the dev...
AbstractA basic purpose of transformation systems is the application of ‘correctness-preserving rule...
The program transformation methodology can provide valuable techniques and tools for the development...
Program transformation is used in a wide range of applications including compiler construction, opt...
This paper consists of a survey of current, and past, work on *program transformation* for the purpo...
This Final Report of research conducted under the support of NSF grant MCS75 13875 A01 summarizes re...
peer-reviewedProgram transformation is a popular technique for attempting to improve the e ciency o...
. We revisit the main techniques of program transformation which are used in partial evaluation, mix...
Turchin's supercompilation is a program transformation technique for functional languages. A su...
Direct, construct by construct translation from one high level language to another often produces ...
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforesta...
advisor on this work was Morten Heine B. Sørensen, Assistant Professor at DIKU. This thesis is in En...
AbstractProgram transformation is the mechanical manipulation of a program in order to improve it re...
Much of the difficulty of programming can be attributed to the clash between the goal of efficiency...
peer-reviewedThis paper shows that a bisimulation approach can be used to prove the correctness of ...
Abstract. This paper briefly describes the use of the program transformation methodology for the dev...
AbstractA basic purpose of transformation systems is the application of ‘correctness-preserving rule...
The program transformation methodology can provide valuable techniques and tools for the development...
Program transformation is used in a wide range of applications including compiler construction, opt...
This paper consists of a survey of current, and past, work on *program transformation* for the purpo...
This Final Report of research conducted under the support of NSF grant MCS75 13875 A01 summarizes re...