Add to ORKGSupercompilation is a program optimisation technique that is par-ticularly effective at eliminating unnecessary overheads. We have designed a new supercompiler, making many novel choices, includ-ing different termination criteria and handling of let bindings. The result is a supercompiler that focuses on simplicity, compiles pro-grams quickly and optimises programs well. We have benchmarked our supercompiler, with some programs running more than twice as fast than when compiled with GHC
Article dans revue scientifique avec comité de lecture.The ASF+SDF Meta-Environment is an interactiv...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
Program synthesis is used in various ways to automate repetitive tasks or to generate software autom...
Supercompilation is a program transformation that removes intermediate structures and performs progr...
Abstract: An introduction to supercompilation, a program analysis and transformation techn...
Turchin's supercompilation is a program transformation technique for functional languages. A su...
Intermediate structures such as lists and higher-order functions are very common in most styles of f...
The current growing interest in supercomputers will undoubtedly give rise to the question of how to ...
The paper presents two examples of non-traditional using of pro-gram specialization by Turchin’s sup...
This paper gives a gentle introduction to Turchin's supercompilation and its applications in me...
Modern compilers exploit syntax \& semantics to optimize input programs.Often such optimization ...
A termination preserving supercompiler for a call-by-value language sometimes fails to remove interm...
To date, programming language research has made several major contributions to the support of high s...
Abstract: The paper describes the internal structure of HOSC, an experimental supercompile...
Code super-optimization is the task of transforming any given program to a more efficient version wh...
Article dans revue scientifique avec comité de lecture.The ASF+SDF Meta-Environment is an interactiv...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
Program synthesis is used in various ways to automate repetitive tasks or to generate software autom...
Supercompilation is a program transformation that removes intermediate structures and performs progr...
Abstract: An introduction to supercompilation, a program analysis and transformation techn...
Turchin's supercompilation is a program transformation technique for functional languages. A su...
Intermediate structures such as lists and higher-order functions are very common in most styles of f...
The current growing interest in supercomputers will undoubtedly give rise to the question of how to ...
The paper presents two examples of non-traditional using of pro-gram specialization by Turchin’s sup...
This paper gives a gentle introduction to Turchin's supercompilation and its applications in me...
Modern compilers exploit syntax \& semantics to optimize input programs.Often such optimization ...
A termination preserving supercompiler for a call-by-value language sometimes fails to remove interm...
To date, programming language research has made several major contributions to the support of high s...
Abstract: The paper describes the internal structure of HOSC, an experimental supercompile...
Code super-optimization is the task of transforming any given program to a more efficient version wh...
Article dans revue scientifique avec comité de lecture.The ASF+SDF Meta-Environment is an interactiv...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
Program synthesis is used in various ways to automate repetitive tasks or to generate software autom...