Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #577 | |
|---|---|
| Title: | Trends in Applying Abstract Interpretation |
| Authors: | Bowles,A |
| Date: | Feb 1992 |
| Presented: | To appear in Journal of Knowledge Engineering Review, Vol. 7, No. 2, 1992 |
| Keywords: | |
| Abstract: | Abstract interpretation is a principled approach to inferring properties of a program's execution by simulating that execution using an interpreter which computes over some abstraction of the program's usual, concrete, domain and which collects the information of interest during the execution. Abstract interpretation has been used as the basis of research in logic and functional programming, particularly in applications concerned with compiler optimizations and to other applications, attempting to give a flavour of the kind of information it is possible to infer and some of the issues involved. |
| Download: | NO ONLINE COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}