Now showing items 1-1 of 1
Abstract interpretation and optimising transformations for applicative programs
(The University of Edinburgh, 1982)
This thesis describes methods for transforming applicative programs with the aim of improving their efficiency. The general justification for these techniques is presented via the concept of abstract interpretation. The ...