Add to ORKGIn this thesis we present and analyse a set of automatic source-to-source program transformations that are suitable for incorporation in optimising compilers for lazy functional languages
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
This thesis discusses the idea of using domain specific languages for program transformation, and th...
AbstractSemantics preservation between source and target program is the commonly accepted minimum re...
In this thesis we present and analyse a set of automatic source-to-source program transformations th...
AbstractMany compilers do some of their work by means of correctness-preserving, and hopefully perfo...
This thesis describes a complete compiler back-end for lazy functional languages, which uses various...
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding t...
Abstract. Common subexpression elimination is a well-known compiler optimisation that saves time by ...
A substantial amount of work has been devoted to the proof of correctness of various program analyse...
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding t...
The aim of the FAST Project is to provide an implementation of a functional language, Haskell, on a ...
Profiling tools, which measure and display the dynamic space and time behaviour of programs, are ess...
Functional programming languages are an ideal medium for program optimisations based on source-to-s...
This thesis presents research into tracing the evaluation of lazy functional languages. The work is ...
In this dissertation we present the RICE optimizing compiler for the functional logic language Curry...
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
This thesis discusses the idea of using domain specific languages for program transformation, and th...
AbstractSemantics preservation between source and target program is the commonly accepted minimum re...
In this thesis we present and analyse a set of automatic source-to-source program transformations th...
AbstractMany compilers do some of their work by means of correctness-preserving, and hopefully perfo...
This thesis describes a complete compiler back-end for lazy functional languages, which uses various...
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding t...
Abstract. Common subexpression elimination is a well-known compiler optimisation that saves time by ...
A substantial amount of work has been devoted to the proof of correctness of various program analyse...
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding t...
The aim of the FAST Project is to provide an implementation of a functional language, Haskell, on a ...
Profiling tools, which measure and display the dynamic space and time behaviour of programs, are ess...
Functional programming languages are an ideal medium for program optimisations based on source-to-s...
This thesis presents research into tracing the evaluation of lazy functional languages. The work is ...
In this dissertation we present the RICE optimizing compiler for the functional logic language Curry...
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
This thesis discusses the idea of using domain specific languages for program transformation, and th...
AbstractSemantics preservation between source and target program is the commonly accepted minimum re...