This thesis shows how supercompilation, a powerful technique for transformation and
analysis of functional programs, can be effectively applied to a call-by-need language. Our …

Erlang is a programming language with excellent support for parallel and distributed
programming. The functional programming paradigm with its higherorder functions is used …

The verification of program transformation systems requires that we prove their termination.
For positive supercompilation, ensuring termination requires the memoisation of …

Supercompilation is a simple, powerful program specialization technique, but it can face
issues with tractability and code bloat. In this paper, we examine how the choice of the …

A program transformation technique should terminate, return efficient output programs and
be efficient itself. These requirements are mutually conflicting, so a balance must be sought …

Two of the identified problems with performance of functional programming languages are
temporary intermediate structures that are used to pass data between functions, and higher …