3 citations · 3 across the 2 of their papers we have counts for
2 papers
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.LO1998★ 3 cited
An Emptiness Algorithm for Regular Types with Set Operators
Lunjin Lu, John G. Cleary
An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterised type definitions is presented. The algorithm can also be used to d…