Searching for authors named "Lunjin Lu" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Polymorphic Type Analysis in Logic Programs by Abstract Interpretation
- …POLYMORPHIC TYPE ANALYSIS IN LOGIC PROGRAMS BY ABSTRACT INTERPRETATION LUNJIN LU LIX Ecole…
- Cited by 5 (4 self) – Add To MetaCart
-
A Generic Declarative Diagnoser for Normal Logic Programs
- …A Generic Declarative Diagnoser for Normal Logic Programs Lunjin Lu The University of Birmingham…
- Cited by 3 (1 self) – Add To MetaCart
-
Type Analysis of Logic Programs in the Presence of Type Definitions
- …Type Analysis of Logic Programs in the Presence of Type Definitions Lunjin Lu School of Computer…
- Cited by 4 (3 self) – Add To MetaCart
-
Forward versus Backward Verification of Logic Programs
- …Forward versus Backward Verification of Logic Programs Andy King and Lunjin Lu 1 Computing…
- Cited by 3 (1 self) – Add To MetaCart
-
Constructive Negation Using Typed Existence Properties
- …Constructive Negation Using Typed Existence Properties John G. Cleary and Lunjin Lu Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Inference of Design Pattern Instances in UML models via Logic Programming
- … pattern realizations require significant modifications Dae-Kyoo Kim and Lunjin Lu Department of Computer…
- Add To MetaCart
-
An Operational Semantics of Starlog
- …An Operational Semantics of Starlog Lunjin Lu and John G. Cleary Department of Computer Science…
- Cited by 2 (1 self) – Add To MetaCart
-
An Emptiness Algorithm for Regular Types with Set Operators
- …cs.LO/9811015 11 Nov 1998 An Emptiness Algorithm for Regular Types with Set Operators Lunjin Lu…
- Cited by 1 (1 self) – Add To MetaCart
-
On Dart-Zobel algorithm for testing regular type inclusion
- … Lunjin Lu and John G. Cleary Department of Computer Science University of Waikato Hamilton, New Zealand…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 9.
