Lunjin Lu

Available identifiers

zbMath Open lu.lunjinMaRDI QIDQ1426865

List of research outcomes

Publication	Date of Publication	Type
A mode analysis of logic programs by abstract interpretation	2024-07-11	Paper
Refinement inference for sequence diagrams	2014-11-04	Paper
Checking Emptiness of Non-Deterministic Regular Types with Set Operators	2014-05-13	Paper
A polymorphic type dependency analysis for logic programs	2012-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q3075210	2011-02-10	Paper
Logic Programming	2009-08-06	Paper
Detecting Determinacy in Prolog Programs	2008-03-11	Paper
Collapsing Closures	2008-03-11	Paper
Improving precision of type analysis using non-discriminative union	2008-01-21	Paper
Functional and Logic Programming	2007-09-25	Paper
Lazy Set-Sharing Analysis	2007-05-02	Paper
Program Development in Computational Logic	2005-12-23	Paper
Programming Languages and Systems	2005-09-13	Paper
Path dependent analysis of logic programs	2004-03-15	Paper
A backward analysis for constraint logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411952	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4778700	2002-11-19	Paper
Polymorphic type analysis in logic programs by abstract interpretation	1998-11-24	Paper

Research outcomes over time

This page was built for person: Lunjin Lu