Title: Inference of well-typings for logic programs with application to termination analysis
Authors: Bruynooghe, Maurice ×
Gallagher, John P
Van Humbeeck, W #
Issue Date: 2005
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3672 pages:35-51
Conference: The 12th International Static Analysis Symposium location:London, United Kingdom date:September 7-9, 2005
Abstract: A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms can automatically be constructed. Previous work on type-based termination analysis used either types declared by the user, or automatically generated monomorphic types describing the success set of predicates. The latter types are less precise and result in weaker termination conditions than those obtained from declared types. Our type inference procedure involves solving set constraints generated from the program and derives a well-typing in contrast to a success-set approximation. Experiments so far show that our automatically inferred well-typings axe close to the declared types and result in termination conditions that are as strong as those obtained with declared types. We describe the method, its implementation and experiments with termination analysis based on the inferred types.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
41710.pdf Published 223KbAdobe PDFView/Open


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

© Web of science