Conferences in Research and Practice in Information Technology
  

Online Version - Last Updated - 20 Jan 2012

 

 
Home
 

 
Procedures and Resources for Authors

 
Information and Resources for Volume Editors
 

 
Orders and Subscriptions
 

 
Published Articles

 
Upcoming Volumes
 

 
Contact Us
 

 
Useful External Links
 

 
CRPIT Site Search
 
    

Approximating the Success Set of Logic Programs Using Constrained Regular Types

Naish, L.

    A key component of many logic programming analysis tasks is defining a safe (superset) approximation to the success set of the program. Our primary application is a declarative mode system which can express polymorphic modes and linearity information. Others include analysis of type and groundness dependencies. Even analysis of procedural properties generally uses declarative information. For example, termination analyses use inter-argument relations, which can be seen as safe approximations to the success set. In this paper we show how the success set can be approximated by constrained regular types. This is a domain similar to regular types but can contain constraints to express relationships between multisets of subterms and between well-typedness of subterms. It allows very precise analysis. Even meta interpreters can be analysed with no loss of precision. We define constrained regular types and describe a system which checks if a constrained regular type is a superset of the success set.
Cite as: Naish, L. (2003). Approximating the Success Set of Logic Programs Using Constrained Regular Types. In Proc. Twenty-Sixth Australasian Computer Science Conference (ACSC2003), Adelaide, Australia. CRPIT, 16. Oudshoorn, M. J., Ed. ACS. 61-67.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS
 

 

ACS Logo© Copyright Australian Computer Society Inc. 2001-2014.
Comments should be sent to the webmaster at crpit@scem.uws.edu.au.
This page last updated 16 Nov 2007