3 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.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…
cs.SE2010
Required Behavior of Sequence Diagrams: Semantics and Conformance
Lunjin Lu, Dae-kyoo Kim
Sequence diagrams are a widely used design notation for describing software behaviors. Many reusable software artifacts such as design patterns and design aspects make use of seque…