Logo
LogoUniGeSES

ASG list of publications

Citation

Nigel Horspool, "Mode Analysis Techniques for Discovery of Lists in Prolog", July, 1990

Abstract

Abstract interpretation is a technique that has been applied to Prolog code for the purposes of mode analysis and determinacy analysis. This paper shows how it may also be used to discover which Prolog objects are lists. One use of such an analysis would be for program verification purposes. A second use would be for optimizing memory allocation, especially if cdr-coding is used to implement lists.

Bibtex

@unpublished{Hors90a,
Author = "Nigel Horspool",
Title = "Mode Analysis Techniques for Discovery of Lists in Prolog",
Key = "olit osg tr90",
Notes = "",
Month = "July",
Year = "1990"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.