Lunjin Lu

Identifiers

• name variant Lunjin Lu 0.60 · backfill

Papers (7)

1. Simplifying Negative Goals Using Typed Existence Properties cs.PL · 2010 · author #1
2. Parametrizing Program Analysis by Lifting to Cardinal Power Domains cs.PL · 2010 · author #1
3. Required Behavior of Sequence Diagrams: Semantics and Conformance cs.SE · 2010 · author #1
4. Improving Precision of Type Analysis Using Non-Discriminative Union cs.PL · 2006 · author #1
5. A Backward Analysis for Constraint Logic Programs cs.PL · 2002 · author #2
6. An Emptiness Algorithm for Regular Types with Set Operators cs.LO · 1998 · author #1
7. On Dart-Zobel Algorithm for Testing Regular Type Inclusion cs.LO · 1998 · author #1

Mentions

• 1009.2178 #1 · backfill · confidence 0.70 Lunjin Lu
• 1005.4616 #1 · backfill · confidence 0.70 Lunjin Lu
• 1003.1160 #1 · backfill · confidence 0.70 Lunjin Lu

Frequent Coauthors

• John G. Cleary 2 shared papers
• Andy King 1 shared papers
• Dae-kyoo Kim 1 shared papers
• John G. Cleary (University of Waikato) 1 shared papers