Search the dblp DataBase
Lunjin Lu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Lunjin Lu , Peter Greenfield An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. [Citation Graph (0, 0)][DBLP ] ALPUK, 1992, pp:62-76 [Conf ] Lunjin Lu A Mode Analysis of Logic Programs by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 1996, pp:362-373 [Conf ] Lunjin Lu , Peter Greenfield Logic Program Testing Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Formal Methods in Programming and Their Applications, 1993, pp:170-180 [Conf ] Lunjin Lu , Andy King Determinacy Inference for Logic Programs. [Citation Graph (0, 0)][DBLP ] ESOP, 2005, pp:108-123 [Conf ] Xuan Li , Andy King , Lunjin Lu Lazy Set-Sharing Analysis. [Citation Graph (0, 0)][DBLP ] FLOPS, 2006, pp:177-191 [Conf ] Lunjin Lu , Andy King Backward Pair Sharing Analysis. [Citation Graph (0, 0)][DBLP ] FLOPS, 2004, pp:132-146 [Conf ] Lunjin Lu , Peter Greenfield Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. [Citation Graph (0, 0)][DBLP ] ICCL, 1992, pp:147-154 [Conf ] Lunjin Lu , John G. Cleary A Regular Type Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:613- [Conf ] Andy King , Lunjin Lu Forward versus Backward Verification of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 2003, pp:315-330 [Conf ] Andy King , Lunjin Lu , Samir Genaim Detecting Determinacy in Prolog Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 2006, pp:132-147 [Conf ] Xuan Li , Andy King , Lunjin Lu Collapsing Closures. [Citation Graph (0, 0)][DBLP ] ICLP, 2006, pp:148-162 [Conf ] Jacob M. Howe , Andy King , Lunjin Lu Analysing Logic Programs by Reasoning Backwards. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:152-188 [Conf ] Lunjin Lu A Generic Declarative Diagnoser for Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] LPAR, 1994, pp:290-304 [Conf ] Lunjin Lu Path dependent analysis of logic programs. [Citation Graph (0, 0)][DBLP ] PEPM, 2002, pp:63-74 [Conf ] Lunjin Lu Type Analysis of Logic Programs in the Presence of Type Definitions. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:241-252 [Conf ] John G. Cleary , Lunjin Lu Constructive Negation Using Typed Existence Properties. [Citation Graph (0, 0)][DBLP ] PLILP/ALP, 1998, pp:411-426 [Conf ] Xuan Li , Lunjin Lu Inverting abstract unification for set-sharing. [Citation Graph (0, 0)][DBLP ] PPDP, 2005, pp:129-138 [Conf ] Lunjin Lu A precise type analysis of logic programs. [Citation Graph (0, 0)][DBLP ] PPDP, 2000, pp:214-225 [Conf ] Lunjin Lu , John G. Cleary An Operational Semantics of Starlog. [Citation Graph (0, 0)][DBLP ] PPDP, 1999, pp:294-310 [Conf ] Lunjin Lu Use of correctness assertions in declarative diagnosis. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:1404-1408 [Conf ] Lunjin Lu Implementing type-based constructive negation. [Citation Graph (0, 0)][DBLP ] SAC, 2007, pp:1299-1306 [Conf ] Lunjin Lu Parameterizing a Groundness Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 2001, pp:146-164 [Conf ] Lunjin Lu , Andy King Backward Type Inference Generalises Type Checking. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:85-101 [Conf ] Lunjin Lu , John G. Cleary On Dart-Zobel Algorithm for Testing Regular Type Inclusion [Citation Graph (0, 0)][DBLP ] CoRR, 1998, v:0, n:, pp:- [Journal ] Lunjin Lu , John G. Cleary An Emptiness Algorithm for Regular Types with Set Operators [Citation Graph (0, 0)][DBLP ] CoRR, 1998, v:0, n:, pp:- [Journal ] Andy King , Lunjin Lu A Backward Analysis for Constraint Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Lunjin Lu A Polymorphic Groundness Analysis of Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 1998, v:0, n:, pp:- [Journal ] Lunjin Lu Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 1998, v:0, n:, pp:- [Journal ] Lunjin Lu Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1998, v:36, n:1, pp:1-54 [Journal ] Lunjin Lu Path Dependent Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:341-377 [Journal ] Lunjin Lu On Dart-Zobel Algorithm for Testing Regular Type Inclusion. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2001, v:36, n:9, pp:81-85 [Journal ] Andy King , Lunjin Lu A Backward Analysis for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] TPLP, 2002, v:2, n:4-5, pp:517-547 [Journal ] Dae-Kyoo Kim , Lunjin Lu Inference of Design Pattern Instances in UML models via Logic Programming. [Citation Graph (0, 0)][DBLP ] ICECCS, 2006, pp:47-56 [Conf ] Lunjin Lu Improving Precision of Type Analysis Using Non-Discriminative Union [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. [Citation Graph (, )][DBLP ] A Verifiable Modeling Approach to Configurable Role-Based Access Control. [Citation Graph (, )][DBLP ] Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. [Citation Graph (, )][DBLP ] Inferring precise polymorphic type dependencies in logic programs. [Citation Graph (, )][DBLP ] Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams [Citation Graph (, )][DBLP ] Parametrizing Program Analysis by Lifting to Cardinal Power Domains [Citation Graph (, )][DBLP ] Checking Emptiness of Non-Deterministic Regular Types with Set Operators. [Citation Graph (, )][DBLP ] Using CLP Simplifications to Improve Java Bytecode Termination Analysis. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs