Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/130097
Title: Towards parameterized regular type inference using set constraints
Authors: Bueno, F.
Navas, J. 
Hermenegildo, M.
Issue Date: 2009
Citation: Bueno, F., Navas, J., Hermenegildo, M. (2009). Towards parameterized regular type inference using set constraints. 19th Workshop on Logic-based methods in Programming Environments, WLPE 2009. ScholarBank@NUS Repository.
Abstract: We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize parametric regular types by extending the scope of the parameters in the type definitions so that such parameters can relate the types of different predicates. We propose a number of enhancements to the procedure for solving the constraint systems that improve the precision of the type descriptions inferred. The resulting algorithm, together with a procedure to establish a set constraint system from a logic program, yields a program analysis that infers tighter safe approximations of the success types of the program than previous comparable work, offering a new and useful efficiency vs. precision trade-off. This is supported by experimental results, which show the feasibility of our analysis.
Source Title: 19th Workshop on Logic-based methods in Programming Environments, WLPE 2009
URI: http://scholarbank.nus.edu.sg/handle/10635/130097
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

12
checked on Mar 8, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.