Title: Deriving linear size relations for logic programs by abstract interpretation
Authors: De Schreye, Danny ×
Verschaetse, K #
Issue Date: 1995
Publisher: Springer verlag
Series Title: New generation computing vol:13 issue:2 pages:117-154
Abstract: We propose an automatic method for deriving linear size relations, which specify, with respect to some given norm, linear relationships between the sizes of the arguments of atoms in the least Herbrand model of a definite Horn clause program. The method is presented as an application of abstract interpretation. Its abstract domain consists of affine subspaces or linear varieties, and operations on elements of the domain are expressed in terms of operations from linear algebra. The main application of the technique is situated in automatic termination analysis. Others are complexity and granularity analysis and the specialisation of constraints in constraint logic languages.
ISSN: 0288-3635
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


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

© Web of science