DSpace Repository

Static analysis of functional languages

Show simple item record

dc.contributor.author Mountjoy J-D en
dc.date.accessioned 2016-09-22T08:13:38Z
dc.date.available 2016-09-22T08:13:38Z
dc.date.submitted 1994 en
dc.identifier.uri http://hdl.handle.net/20.500.11892/25702
dc.description.abstract Static analysis is the name given to a number of compile time analysis techniques used to automatically generate information which can lead to improvements in the execution performance of function languages. This thesis provides an introduction to these techniques and their implementation. The abstract interpretation framework is an example of a technique used to extract information from a programme by providing the programme with an alternate semantics and evaluating this programme over a non-standard domain. The elements of this domain represent certain properties of interest. This framework is examined in detail, as well as various extensions and variants of it. The use of binary logical relations and programme logics as alternative formulations of the framework, and partial equivalence relations as an extension to it, are also looked at. The projection analysis framework determines how much of a sub-expression can be evaluated by examining the context in which the expression is to be evaluated, and provides an elegant method for finding particular types of information from data structures. This is also examined. The most costly operation in implementing an analysis is the computation of fixed points. Methods developed to make this process more efficient are looked at. This leads to the final chapter which highlights the dependencies and relationships between the different frameworks and their mathematical disciplines. en
dc.language English en
dc.subject Computer Science en
dc.subject Computer programming en
dc.title Static analysis of functional languages en
dc.type Masters degree en
dc.description.degree MSc en

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record