Lu, Lunjin A polymorphic type dependency analysis for logic programs. (English) Zbl 1251.68065 New Generation Comput. 29, No. 4, 409-444 (2011). MSC: 68N17 PDFBibTeX XMLCite \textit{L. Lu}, New Generation Comput. 29, No. 4, 409--444 (2011; Zbl 1251.68065) Full Text: DOI
Lu, Lunjin Improving precision of type analysis using non-discriminative union. (English) Zbl 1128.68016 Theory Pract. Log. Program. 8, No. 1, 33-79 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{L. Lu}, Theory Pract. Log. Program. 8, No. 1, 33--79 (2008; Zbl 1128.68016) Full Text: DOI
Lu, Lunjin; King, Andy Backward pair sharing analysis. (English) Zbl 1122.68379 Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 132-146 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{L. Lu} and \textit{A. King}, Lect. Notes Comput. Sci. 2998, 132--146 (2004; Zbl 1122.68379) Full Text: DOI
Lu, Lunjin Path dependent analysis of logic programs. (English) Zbl 1074.68009 High.-Order Symb. Comput. 16, No. 4, 341-377 (2003). MSC: 68N17 PDFBibTeX XMLCite \textit{L. Lu}, High.-Order Symb. Comput. 16, No. 4, 341--377 (2003; Zbl 1074.68009) Full Text: DOI
Lu, Lunjin Parameterizing a groundness analysis of logic programs. (English) Zbl 0997.68511 Cousot, Patrick (ed.), Static analysis. 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2126, 146-164 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{L. Lu}, Lect. Notes Comput. Sci. 2126, 146--164 (2001; Zbl 0997.68511) Full Text: Link