Browsing Informatics, School of by Subject "abstract interpretive schemes."
Now showing items 1-1 of 1
(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 ...