Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lunjin Lu
@article{DBLP:journals/computers/SunKHL22,
author = {Peter Sun and
Dae{-}Kyoo Kim and
Ming Hua and
Lunjin Lu},
title = {Measuring Impact of Dependency Injection on Software Maintainability},
journal = {Comput.},
volume = {11},
number = {9},
pages = {141},
year = {2022},
url = {https://doi.org/10.3390/computers11090141},
doi = {10.3390/COMPUTERS11090141},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/SunKHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmss/MaaloufL21,
author = {Assad Maalouf and
Lunjin Lu},
title = {Precise Command Injection Analysis in Android Applications},
booktitle = {{ICMSS} 2021: The 5the International Conference on Management Engineering,
Software Engineering and Service Sciences, Chengdu, China, January
8-10, 2021},
pages = {1--7},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459012.3459013},
doi = {10.1145/3459012.3459013},
timestamp = {Fri, 13 Aug 2021 12:21:26 +0200},
biburl = {https://dblp.org/rec/conf/icmss/MaaloufL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaaloufL21,
author = {Assad Maalouf and
Lunjin Lu},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {Taint analysis of arrays in Android applications},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {893--899},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3441964},
doi = {10.1145/3412841.3441964},
timestamp = {Mon, 03 May 2021 14:34:56 +0200},
biburl = {https://dblp.org/rec/conf/sac/MaaloufL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccoms/AlmashfiL20,
author = {Nabil Almashfi and
Lunjin Lu},
title = {Code Smell Detection Tool for Java Script Programs},
booktitle = {5th International Conference on Computer and Communication Systems,
{ICCCS} 2020, Shanghai, China, May 15-18, 2020},
pages = {172--176},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCCS49078.2020.9118465},
doi = {10.1109/ICCCS49078.2020.9118465},
timestamp = {Mon, 02 Aug 2021 08:40:32 +0200},
biburl = {https://dblp.org/rec/conf/ccoms/AlmashfiL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icict2/AlmashfiL20,
author = {Nabil Almashfi and
Lunjin Lu},
title = {Precise String Domain for Analyzing JavaScript Arrays and Objects},
booktitle = {3rd International Conference on Information and Computer Technologies,
{ICICT} 2020, San Jose, CA, USA, March 9-12, 2020},
pages = {17--23},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICICT50521.2020.00011},
doi = {10.1109/ICICT50521.2020.00011},
timestamp = {Tue, 19 May 2020 15:34:02 +0200},
biburl = {https://dblp.org/rec/conf/icict2/AlmashfiL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KimML20,
author = {Dae{-}Kyoo Kim and
Ming Hua and
Lunjin Lu},
editor = {Kostas Kontogiannis and
Foutse Khomh and
Alexander Chatzigeorgiou and
Marios{-}Eleftherios Fokaefs and
Minghui Zhou},
title = {Reflection on Building Hybrid Access Control by Configuring {RBAC}
and {MAC} Features},
booktitle = {27th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2020, London, ON, Canada, February 18-21,
2020},
pages = {522--526},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SANER48275.2020.9054862},
doi = {10.1109/SANER48275.2020.9054862},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/KimML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cata/AlmashfiL19,
author = {Nabil Almashfi and
Lunjin Lu},
editor = {Gordon Lee and
Ying Jin},
title = {Analyzing JavaScript Programs Using Octagon Domain},
booktitle = {Proceedings of 34th International Conference on Computers and Their
Applications, {CATA} 2019, Honolulu, Hawaii, USA, March 18-20, 2019},
series = {EPiC Series in Computing},
volume = {58},
pages = {155--167},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/6hc2},
doi = {10.29007/6HC2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cata/AlmashfiL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/SalehianL19,
author = {Solmaz Salehian and
Lunjin Lu},
editor = {Zheng Xiao and
Laurence T. Yang and
Pavan Balaji and
Tao Li and
Keqin Li and
Albert Y. Zomaya},
title = {Memory Bandwidth Prediction for {HPC} Applications in {NUMA} Architecture},
booktitle = {21st {IEEE} International Conference on High Performance Computing
and Communications; 17th {IEEE} International Conference on Smart
City; 5th {IEEE} International Conference on Data Science and Systems,
HPCC/SmartCity/DSS 2019, Zhangjiajie, China, August 10-12, 2019},
pages = {1115--1122},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HPCC/SmartCity/DSS.2019.00158},
doi = {10.1109/HPCC/SMARTCITY/DSS.2019.00158},
timestamp = {Fri, 19 Nov 2021 12:28:04 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/SalehianL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsca/AlmashfiLPM19,
author = {Nabil Almashfi and
Lunjin Lu and
Koby Picker and
Christian Maldonado},
title = {Precise String Analysis for JavaScript Programs Using Automata},
booktitle = {Proceedings of the 8th International Conference on Software and Computer
Applications, {ICSCA} '19, Penang, Malaysia, February 19-21, 2019},
pages = {159--166},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316615.3316662},
doi = {10.1145/3316615.3316662},
timestamp = {Sun, 07 Jun 2020 15:43:03 +0200},
biburl = {https://dblp.org/rec/conf/icsca/AlmashfiLPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/casm/KafafKL18,
author = {Dhrgam Al Kafaf and
Dae{-}Kyoo Kim and
Lunjin Lu},
title = {A three-phase decision making approach for self-adaptive systems using
web services},
journal = {Complex Adapt. Syst. Model.},
volume = {6},
pages = {8},
year = {2018},
url = {https://doi.org/10.1186/s40294-018-0059-1},
doi = {10.1186/S40294-018-0059-1},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/casm/KafafKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/KimALYJ17,
author = {Dae{-}Kyoo Kim and
Alaa S. Alaerjan and
Lunjin Lu and
Hyo{-}Sik Yang and
Hyuksoo Jang},
title = {Toward Interoperability of Smart Grids},
journal = {{IEEE} Commun. Mag.},
volume = {55},
number = {8},
pages = {204--210},
year = {2017},
url = {https://doi.org/10.1109/MCOM.2017.1600392},
doi = {10.1109/MCOM.2017.1600392},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/KimALYJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KimLL17,
author = {Dae{-}Kyoo Kim and
Lunjin Lu and
Byunghun Lee},
title = {Design pattern-based model transformation supported by {QVT}},
journal = {J. Syst. Softw.},
volume = {125},
pages = {289--308},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2016.12.019},
doi = {10.1016/J.JSS.2016.12.019},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KimLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/KafafKL17,
author = {Dhrgam Al Kafaf and
Dae{-}Kyoo Kim and
Lunjin Lu},
editor = {Jorge Bernardino and
Christoph Quix and
Joaquim Filipe},
title = {B-kNN to Improve the Efficiency of kNN},
booktitle = {Proceedings of the 6th International Conference on Data Science, Technology
and Applications, {DATA} 2017, Madrid, Spain, July 24-26, 2017},
pages = {126--132},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006393301260132},
doi = {10.5220/0006393301260132},
timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/data/KafafKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/YounangL17,
author = {Astrid Younang and
Lunjin Lu},
editor = {Martin Pinzger and
Gabriele Bavota and
Andrian Marcus},
title = {Conventionality analysis of array objects in JavaScript},
booktitle = {{IEEE} 24th International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2017, Klagenfurt, Austria, February 20-24,
2017},
pages = {561--562},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SANER.2017.7884677},
doi = {10.1109/SANER.2017.7884677},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/YounangL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/KimJLDM15a,
author = {Dae{-}Kyoo Kim and
Dongwon Jeong and
Lunjin Lu and
Debatosh Debnath and
Ming Hua},
title = {Opinions on computing education in Korean {K-12} system: higher education
perspective},
journal = {Comput. Sci. Educ.},
volume = {25},
number = {4},
pages = {371--389},
year = {2015},
url = {https://doi.org/10.1080/08993408.2016.1140409},
doi = {10.1080/08993408.2016.1140409},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/KimJLDM15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YounangL15,
author = {Astrid Younang and
Lunjin Lu},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Improving Precision of Java Script Program Analysis with an Extended
Domain of Intervals},
booktitle = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
pages = {441--446},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.175},
doi = {10.1109/COMPSAC.2015.175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YounangL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KimKLS14,
author = {Sangsig Kim and
Dae{-}Kyoo Kim and
Lunjin Lu and
Eunjee Song},
title = {Building hybrid access control by configuring {RBAC} and {MAC} features},
journal = {Inf. Softw. Technol.},
volume = {56},
number = {7},
pages = {763--792},
year = {2014},
url = {https://doi.org/10.1016/j.infsof.2014.02.003},
doi = {10.1016/J.INFSOF.2014.02.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/KimKLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/LuK14,
author = {Lunjin Lu and
Dae{-}Kyoo Kim},
title = {Required behavior of sequence diagrams: Semantics and conformance},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {23},
number = {2},
pages = {15:1--15:28},
year = {2014},
url = {https://doi.org/10.1145/2523108},
doi = {10.1145/2523108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/LuK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Lu14,
author = {Lunjin Lu},
title = {Parametrizing Program Analysis},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.12},
doi = {10.1109/TASE.2014.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Lu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lu13,
author = {Lunjin Lu},
title = {Towards Parametrizing Logic Program Analysis: Two Examples},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013004.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LuK13,
author = {Lunjin Lu and
Dae{-}Kyoo Kim},
editor = {Peter van Emde Boas and
Frans C. A. Groen and
Giuseppe F. Italiano and
Jerzy R. Nawrocki and
Harald Sack},
title = {Refinement Inference for Sequence Diagrams},
booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
Conference on Current Trends in Theory and Practice of Computer Science,
{\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7741},
pages = {432--444},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35843-2\_37},
doi = {10.1007/978-3-642-35843-2\_37},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/LuK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KimKLKP11,
author = {Sangsig Kim and
Dae{-}Kyoo Kim and
Lunjin Lu and
Suntae Kim and
Sooyong Park},
title = {A feature-based approach for modeling role-based access control systems},
journal = {J. Syst. Softw.},
volume = {84},
number = {12},
pages = {2035--2052},
year = {2011},
url = {https://doi.org/10.1016/j.jss.2011.03.084},
doi = {10.1016/J.JSS.2011.03.084},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KimKLKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Lu11,
author = {Lunjin Lu},
title = {A Polymorphic Type Dependency Analysis for Logic Programs},
journal = {New Gener. Comput.},
volume = {29},
number = {4},
pages = {409--444},
year = {2011},
url = {https://doi.org/10.1007/s00354-009-0117-5},
doi = {10.1007/S00354-009-0117-5},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Lu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LuK11,
author = {Lunjin Lu and
Dae{-}Kyoo Kim},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Required Behavior of Sequence Diagrams: Semantics and Refinement},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.20},
doi = {10.1109/ICECCS.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KimLZKLS11,
author = {Sangsig Kim and
Yen{-}Ting Lee and
Yuanlin Zhu and
Dae{-}Kyoo Kim and
Lunjin Lu and
Vijayan Sugumaran},
title = {A Feature-Based Modeling Approach to Configuring Privacy and Temporality
in {RBAC}},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
Miami Beach, USA, July 7-9, 2011},
pages = {666--671},
publisher = {Knowledge Systems Institute Graduate School},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/KimLZKLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KimKLPK11,
author = {Sangsig Kim and
Dae{-}Kyoo Kim and
Lunjin Lu and
Sooyong Park and
Suntae Kim},
title = {A Feature-Based Modeling Approach for Building Hybrid Access Control
Systems},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea},
pages = {88--97},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI.2011.16},
doi = {10.1109/SSIRI.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KimKLPK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/Lu10,
author = {Lunjin Lu},
title = {Incremental Computation of Success Patterns of Logic Programs},
journal = {J. Softw. Eng. Appl.},
volume = {3},
number = {3},
pages = {198--207},
year = {2010},
url = {https://doi.org/10.4236/jsea.2010.33025},
doi = {10.4236/JSEA.2010.33025},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsea/Lu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LuKZK10,
author = {Lunjin Lu and
Dae{-}Kyoo Kim and
Yuanlin Zhu and
Sangsig Kim},
title = {Verification of Structural Pattern Conformance Using Logic Programming},
journal = {J. Univers. Comput. Sci.},
volume = {16},
number = {17},
pages = {2455--2474},
year = {2010},
url = {https://doi.org/10.3217/jucs-016-17-2455},
doi = {10.3217/JUCS-016-17-2455},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/LuKZK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KimLK10,
author = {Dae{-}Kyoo Kim and
Lunjin Lu and
Sangsig Kim},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {A Verifiable Modeling Approach to Configurable Role-Based Access Control},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {188--202},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_14},
doi = {10.1007/978-3-642-12029-9\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/KimLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-1160,
author = {Lunjin Lu and
Dae{-}Kyoo Kim},
title = {Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams},
journal = {CoRR},
volume = {abs/1003.1160},
year = {2010},
url = {http://arxiv.org/abs/1003.1160},
eprinttype = {arXiv},
eprint = {1003.1160},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-1160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4616,
author = {Lunjin Lu},
title = {Parametrizing Program Analysis by Lifting to Cardinal Power Domains},
journal = {CoRR},
volume = {abs/1005.4616},
year = {2010},
url = {http://arxiv.org/abs/1005.4616},
eprinttype = {arXiv},
eprint = {1005.4616},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2178,
author = {Lunjin Lu and
John G. Cleary},
title = {Simplifying Negative Goals Using Typed Existence Properties},
journal = {CoRR},
volume = {abs/1009.2178},
year = {2010},
url = {http://arxiv.org/abs/1009.2178},
eprinttype = {arXiv},
eprint = {1009.2178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KimKLP09,
author = {Suntae Kim and
Dae{-}Kyoo Kim and
Lunjin Lu and
Sooyong Park},
title = {Quality-driven architecture development using architectural tactics},
journal = {J. Syst. Softw.},
volume = {82},
number = {8},
pages = {1211--1231},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2009.03.102},
doi = {10.1016/J.JSS.2009.03.102},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/KimKLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SpotoLM09,
author = {Fausto Spoto and
Lunjin Lu and
Fred Mesnard},
editor = {Elvira Albert and
Samir Genaim},
title = {Using {CLP} Simplifications to Improve Java Bytecode Termination Analysis},
booktitle = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March
29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {5},
pages = {129--144},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.019},
doi = {10.1016/J.ENTCS.2009.11.019},
timestamp = {Fri, 24 Feb 2023 15:28:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SpotoLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lu08,
author = {Lunjin Lu},
title = {Improving precision of type analysis using non-discriminative union},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {1},
pages = {33--79},
year = {2008},
url = {https://doi.org/10.1017/S1471068407003055},
doi = {10.1017/S1471068407003055},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/KimKLP08,
author = {Suntae Kim and
Dae{-}Kyoo Kim and
Lunjin Lu and
Sooyong Park},
title = {A Tactic-Based Approach to Embodying Non-functional Requirements into
Software Architectures},
booktitle = {12th International {IEEE} Enterprise Distributed Object Computing
Conference, {ECOC} 2008, 15-19 September 2008, Munich, Germany},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EDOC.2008.18},
doi = {10.1109/EDOC.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/KimKLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/KimL08,
author = {Dae{-}Kyoo Kim and
Lunjin Lu},
editor = {Hong Mei},
title = {Pattern-Based Transformation Rules for Developing Interaction Models
of Access Control Systems},
booktitle = {High Confidence Software Reuse in Large Systems, 10th International
Conference on Software Reuse, {ICSR} 2008, Beijing, China, May 25-29,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5030},
pages = {306--317},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68073-4\_33},
doi = {10.1007/978-3-540-68073-4\_33},
timestamp = {Tue, 09 May 2023 08:00:06 +0200},
biburl = {https://dblp.org/rec/conf/icsr/KimL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lu08,
author = {Lunjin Lu},
editor = {Sergio Antoy and
Elvira Albert},
title = {Inferring precise polymorphic type dependencies in logic programs},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {143--151},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389467},
doi = {10.1145/1389449.1389467},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Lu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lu08,
author = {Lunjin Lu},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Checking Emptiness of Non-Deterministic Regular Types with Set Operators},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {191--206},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.062},
doi = {10.1016/J.ENTCS.2008.04.062},
timestamp = {Fri, 17 Feb 2023 09:48:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Lu07,
author = {Lunjin Lu},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Implementing type-based constructive negation},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1299--1306},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244284},
doi = {10.1145/1244002.1244284},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/Lu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Masami Hagiya and
Philip Wadler},
title = {Lazy Set-Sharing Analysis},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {177--191},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_13},
doi = {10.1007/11737414\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KimL06,
author = {Dae{-}Kyoo Kim and
Lunjin Lu},
title = {Inference of Design Pattern Instances in {UML} models via Logic Programming},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.58},
doi = {10.1109/ICECCS.2006.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KimL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingLG06,
author = {Andy King and
Lunjin Lu and
Samir Genaim},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Detecting Determinacy in Prolog Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {132--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_12},
doi = {10.1007/11799573\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingLG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Collapsing Closures},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {148--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_13},
doi = {10.1007/11799573\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0612063,
author = {Lunjin Lu},
title = {Improving Precision of Type Analysis Using Non-Discriminative Union},
journal = {CoRR},
volume = {abs/cs/0612063},
year = {2006},
url = {http://arxiv.org/abs/cs/0612063},
eprinttype = {arXiv},
eprint = {cs/0612063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0612063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LuK05,
author = {Lunjin Lu and
Andy King},
editor = {Shmuel Sagiv},
title = {Determinacy Inference for Logic Programs},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {108--123},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_9},
doi = {10.1007/978-3-540-31987-0\_9},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/LuK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LiL05,
author = {Xuan Li and
Lunjin Lu},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Inverting abstract unification for set-sharing},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {129--138},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069786},
doi = {10.1145/1069774.1069786},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/LiL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Lu05,
author = {Lunjin Lu},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Use of correctness assertions in declarative diagnosis},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1404--1408},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066995},
doi = {10.1145/1066677.1066995},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/Lu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LuK04,
author = {Lunjin Lu and
Andy King},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Backward Pair Sharing Analysis},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {132--146},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_11},
doi = {10.1007/978-3-540-24754-8\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/LuK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/HoweKL04,
author = {Jacob M. Howe and
Andy King and
Lunjin Lu},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {Analysing Logic Programs by Reasoning Backwards},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {152--188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_6},
doi = {10.1007/978-3-540-25951-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/HoweKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Lu03,
author = {Lunjin Lu},
title = {Path Dependent Analysis of Logic Programs},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {4},
pages = {341--377},
year = {2003},
url = {https://doi.org/10.1023/A:1025824903683},
doi = {10.1023/A:1025824903683},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Lu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingL03,
author = {Andy King and
Lunjin Lu},
editor = {Catuscia Palamidessi},
title = {Forward versus Backward Verification of Logic Programs},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {315--330},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_22},
doi = {10.1007/978-3-540-24599-5\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KingL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KingL02,
author = {Andy King and
Lunjin Lu},
title = {A Backward Analysis for Constraint Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {4-5},
pages = {517--547},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001436},
doi = {10.1017/S1471068402001436},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KingL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lu02,
author = {Lunjin Lu},
editor = {Peter Thiemann},
title = {Path dependent analysis of logic programs},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
USA, January 14-15, 2002},
pages = {63--74},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503032.503038},
doi = {10.1145/503032.503038},
timestamp = {Wed, 07 Jul 2021 17:30:34 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Lu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LuK02,
author = {Lunjin Lu and
Andy King},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Backward Type Inference Generalises Type Checking},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {85--101},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_9},
doi = {10.1007/3-540-45789-5\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LuK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0201011,
author = {Andy King and
Lunjin Lu},
title = {A Backward Analysis for Constraint Logic Programs},
journal = {CoRR},
volume = {cs.PL/0201011},
year = {2002},
url = {https://arxiv.org/abs/cs/0201011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0201011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Lu01,
author = {Lunjin Lu},
title = {On Dart-Zobel Algorithm for Testing Regular Type Inclusion},
journal = {{ACM} {SIGPLAN} Notices},
volume = {36},
number = {9},
pages = {81--85},
year = {2001},
url = {https://doi.org/10.1145/609769.609782},
doi = {10.1145/609769.609782},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Lu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Lu01,
author = {Lunjin Lu},
editor = {Patrick Cousot},
title = {Parameterizing a Groundness Analysis of Logic Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {146--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_9},
doi = {10.1007/3-540-47764-0\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Lu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lu00,
author = {Lunjin Lu},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {A precise type analysis of logic programs},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {214--225},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351293},
doi = {10.1145/351268.351293},
timestamp = {Tue, 27 Nov 2018 15:37:24 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Lu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LuC99,
author = {Lunjin Lu and
John G. Cleary},
editor = {Danny De Schreye},
title = {A Regular Type Analysis of Logic Programs},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {613},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LuC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LuC99,
author = {Lunjin Lu and
John G. Cleary},
editor = {Gopalan Nadathur},
title = {An Operational Semantics of Starlog},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {294--310},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_18},
doi = {10.1007/10704567\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LuC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Lu98,
author = {Lunjin Lu},
title = {Polymorphic Type Analysis in Logic Programs by Abstract Intepretation},
journal = {J. Log. Program.},
volume = {36},
number = {1},
pages = {1--54},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)10010-3},
doi = {10.1016/S0743-1066(97)10010-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Lu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ClearyL98,
author = {John G. Cleary and
Lunjin Lu},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Constructive Negation Using Typed Existence Properties},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {411--426},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056629},
doi = {10.1007/BFB0056629},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/ClearyL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9810001,
author = {Lunjin Lu and
John G. Cleary},
title = {On Dart-Zobel Algorithm for Testing Regular Type Inclusion},
journal = {CoRR},
volume = {cs.LO/9810001},
year = {1998},
url = {https://arxiv.org/abs/cs/9810001},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9810001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9811015,
author = {Lunjin Lu and
John G. Cleary},
title = {An Emptiness Algorithm for Regular Types with Set Operators},
journal = {CoRR},
volume = {cs.LO/9811015},
year = {1998},
url = {https://arxiv.org/abs/cs/9811015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9811015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-9811001,
author = {Lunjin Lu},
title = {A Polymorphic Groundness Analysis of Logic Programs},
journal = {CoRR},
volume = {cs.PL/9811001},
year = {1998},
url = {https://arxiv.org/abs/cs/9811001},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-9811001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-9811012,
author = {Lunjin Lu},
title = {Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs},
journal = {CoRR},
volume = {cs.PL/9811012},
year = {1998},
url = {https://arxiv.org/abs/cs/9811012},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-9811012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Lu96,
author = {Lunjin Lu},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {A Mode Analysis of Logic Programs by Abstract Interpretation},
booktitle = {Perspectives of System Informatics, Second International Andrei Ershov
Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1181},
pages = {362--373},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62064-8\_30},
doi = {10.1007/3-540-62064-8\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Lu96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lu95,
author = {Lunjin Lu},
editor = {Neil D. Jones},
title = {Type Analysis of Logic Programs in the Presence of Type Definitions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {241--252},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215597},
doi = {10.1145/215465.215597},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Lu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lu94,
author = {Lunjin Lu},
editor = {Frank Pfenning},
title = {A Generic Declarative Diagnoser for Normal Logic Programs},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {290--304},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_45},
doi = {10.1007/3-540-58216-9\_45},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/LuG93,
author = {Lunjin Lu and
Peter Greenfield},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {Logic Program Testing Based on Abstract Interpretation},
booktitle = {Formal Methods in Programming and Their Applications, International
Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {735},
pages = {170--180},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0039707},
doi = {10.1007/BFB0039707},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/LuG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/LuG92,
author = {Lunjin Lu and
Peter Greenfield},
editor = {Krysia Broda},
title = {An Algorithm for Finite Approximations of Definite Programs and its
Implementation in Prolog},
booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
pages = {62--76},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3421-3\_4},
doi = {10.1007/978-1-4471-3421-3\_4},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/LuG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/LuG92,
author = {Lunjin Lu and
Peter Greenfield},
editor = {James R. Cordy and
Mario Barbacci},
title = {Abstract fixpoint semantics and abstract procedural semantics of definite
logic programs},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {147--154},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185477},
doi = {10.1109/ICCL.1992.185477},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/LuG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
