Showing cs.PLShow all
2 papers · 1 filter
cs.PL2010
Simplifying Negative Goals Using Typed Existence Properties
Lunjin Lu, John G. Cleary
A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals…
cs.PL2010
Parametrizing Program Analysis by Lifting to Cardinal Power Domains
Lunjin Lu
A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is complete…