The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #577

Title:Trends in Applying Abstract Interpretation
Date:Feb 1992
Presented:To appear in Journal of Knowledge Engineering Review, Vol. 7, No. 2, 1992
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.

[Search These Pages] [DAI Home Page] [Comment]