Lunjin Lu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A mode analysis of logic programs by abstract interpretation	2024-07-11	Paper
Refinement inference for sequence diagrams Lecture Notes in Computer Science	2014-11-04	Paper
Checking Emptiness of Non-Deterministic Regular Types with Set Operators Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
A polymorphic type dependency analysis for logic programs New Generation Computing	2012-11-16	Paper
scientific article; zbMATH DE number 5850099 (Why is no real title available?)	2011-02-10	Paper
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
Detecting Determinacy in Prolog Programs Logic Programming	2008-03-11	Paper
Collapsing Closures Logic Programming	2008-03-11	Paper
Improving precision of type analysis using non-discriminative union Theory and Practice of Logic Programming	2008-01-21	Paper
Functional and Logic Programming Lecture Notes in Computer Science	2007-09-25	Paper
Lazy Set-Sharing Analysis Functional and Logic Programming	2007-05-02	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-09-13	Paper
Path dependent analysis of logic programs Higher-Order and Symbolic Computation	2004-03-15	Paper
A backward analysis for constraint logic programs Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1948390 (Why is no real title available?)	2003-07-13	Paper
scientific article; zbMATH DE number 1832222 (Why is no real title available?)	2002-11-19	Paper
Polymorphic type analysis in logic programs by abstract interpretation The Journal of Logic Programming	1998-11-24	Paper

Research outcomes over time

This page was built for person: Lunjin Lu