BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Germany
1 × India
1 × Italy
1 × Korea
1 × Portugal
1 × United Kingdom
2 × France
2 × Japan
2 × Spain
6 × USA
Collaborated with:
∅ A.King J.G.Cleary X.Li D.Kim S.Kim S.Genaim J.M.Howe S.Kim S.Park Y.Lee Y.Zhu V.Sugumaran
Talks about:
program (10) logic (9) type (9) analysi (7) backward (4) base (4) approach (3) share (3) infer (3) determinaci (2)

Person: Lunjin Lu

DBLP DBLP: Lu:Lunjin

Contributed to:

SEKE 20112011
FASE 20102010
EDOC 20082008
PPDP 20082008
SAC 20072007
FLOPS 20062006
ICLP 20062006
ESOP 20052005
PPDP 20052005
SAC 20052005
FLOPS 20042004
PDCL 20042004
ICLP 20032003
PEPM 20022002
SAS 20022002
SAS 20012001
PPDP 20002000
ICLP 19991999
PPDP 19991999
ALP/PLILP 19981998
PEPM 19951995

Wrote 22 papers:

SEKE-2011-KimLZKLS #approach #configuration management #modelling #privacy
A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC (SK, YTL, YZ, DKK, LL, VS), pp. 666–671.
FASE-2010-KimLK #approach #configuration management #data access #modelling
A Verifiable Modeling Approach to Configurable Role-Based Access Control (DKK, LL, SK), pp. 188–202.
EDOC-2008-KimKLP #approach #architecture #non-functional #requirements
A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures (SK, DKK, LL, SP), pp. 139–148.
PPDP-2008-Lu #dependence #logic programming #polymorphism #precise #source code
Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.
SAC-2007-Lu #implementation #type system
Implementing type-based constructive negation (LL), pp. 1299–1306.
FLOPS-2006-LiKL #analysis #lazy evaluation
Lazy Set-Sharing Analysis (XL, AK, LL), pp. 177–191.
ICLP-2006-KingLG #detection #prolog #source code
Detecting Determinacy in Prolog Programs (AK, LL, SG), pp. 132–147.
ICLP-2006-LiKL
Collapsing Closures (XL, AK, LL), pp. 148–162.
ESOP-2005-LuK #logic programming #source code
Determinacy Inference for Logic Programs (LL, AK), pp. 108–123.
PPDP-2005-LiL #unification
Inverting abstract unification for set-sharing (XL, LL), pp. 129–138.
SAC-2005-Lu #correctness #declarative #using
Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.
FLOPS-2004-LuK #analysis
Backward Pair Sharing Analysis (LL, AK), pp. 132–146.
PDCL-2004-HoweKL #logic programming #reasoning #source code
Analysing Logic Programs by Reasoning Backwards (JMH, AK, LL), pp. 152–188.
ICLP-2003-KingL #logic programming #source code #verification
Forward versus Backward Verification of Logic Programs (AK, LL), pp. 315–330.
PEPM-2002-Lu #analysis #logic programming #source code
Path dependent analysis of logic programs (LL), pp. 63–74.
SAS-2002-LuK #type checking #type inference
Backward Type Inference Generalises Type Checking (LL, AK), pp. 85–101.
SAS-2001-Lu #analysis #logic programming #source code
Parameterizing a Groundness Analysis of Logic Programs (LL), pp. 146–164.
PPDP-2000-Lu #analysis #logic programming #precise #source code
A precise type analysis of logic programs (LL), pp. 214–225.
ICLP-1999-LuC #analysis #logic programming #source code
A Regular Type Analysis of Logic Programs (LL, JGC), p. 613.
PPDP-1999-LuC #semantics
An Operational Semantics of Starlog (LL, JGC), pp. 294–310.
ALP-PLILP-1998-ClearyL #using
Constructive Negation Using Typed Existence Properties (JGC, LL), pp. 411–426.
PEPM-1995-Lu #analysis #logic programming #source code
Type Analysis of Logic Programs in the Presence of Type Definitions (LL), pp. 241–252.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.