Title: Deriving descriptions of possible values of program variables by means of abstract interpretation
Authors: Janssens, Gerda ×
Bruynooghe, Maurice #
Issue Date: Jul-1992
Publisher: Elsevier science inc
Series Title: Journal of logic programming vol:13 issue:2-3 pages:205-258
Abstract: A PROLOG compiler specializes the code for unification between calls and clause heads as they appear in the program. This code could be further specialized, yielding more efficient code, if more precise information about possible values for actual arguments were available. This paper addresses the problem of gathering such information. It develops a method for obtaining descriptions of possible values of program variables. The method is based upon a framework for abstract interpretation. The descriptions can be regarded as extended modes or a kind of type information. An important issue in the method is the treatment of free variables and the sharing of free variables between different values of program variables.
ISSN: 0743-1066
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
1-s2.0-074310669290032X-main.pdf Published 3783KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science