Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (System Description). Kelly, A. D., Marriott, K., Søndergaard, H., & Stuckey, P. J. In Cousot, R. & Schmidt, D. A., editors, *Static Analysis: Proceedings of the Third International Symposium*, volume 1145, of *Lecture Notes in Computer Science*, pages 385–386, 1996. Springer. doi bibtex @Inproceedings{Kel-Mar-Son-Stu_SAS96,
author = {Andrew D. Kelly and
Kim Marriott and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {Two Applications of an Incremental Analysis Engine for
(Constraint) Logic Programs (System Description)},
editor = {R. Cousot and D. A. Schmidt},
booktitle = {Static Analysis: Proceedings of the Third International
Symposium},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {385--386},
publisher = {Springer},
year = {1996},
doi = {10.1007/3-540-61739-6_55},
keywords = {Constraint programming, Logic programming, Prolog, Static analysis, Program transformation, Compilation},
}

Downloads: 0

{"_id":"TSczXwHhWgxav3qDz","bibbaseid":"kelly-marriott-sndergaard-stuckey-twoapplicationsofanincrementalanalysisengineforconstraintlogicprogramssystemdescription-1996","author_short":["Kelly, A. D.","Marriott, K.","Søndergaard, H.","Stuckey, P. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Andrew","D."],"propositions":[],"lastnames":["Kelly"],"suffixes":[]},{"firstnames":["Kim"],"propositions":[],"lastnames":["Marriott"],"suffixes":[]},{"firstnames":["Harald"],"propositions":[],"lastnames":["Søndergaard"],"suffixes":[]},{"firstnames":["Peter","J."],"propositions":[],"lastnames":["Stuckey"],"suffixes":[]}],"title":"Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (System Description)","editor":[{"firstnames":["R."],"propositions":[],"lastnames":["Cousot"],"suffixes":[]},{"firstnames":["D.","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"booktitle":"Static Analysis: Proceedings of the Third International Symposium","series":"Lecture Notes in Computer Science","volume":"1145","pages":"385–386","publisher":"Springer","year":"1996","doi":"10.1007/3-540-61739-6_55","keywords":"Constraint programming, Logic programming, Prolog, Static analysis, Program transformation, Compilation","bibtex":"@Inproceedings{Kel-Mar-Son-Stu_SAS96,\n author = {Andrew D. Kelly and \n\t\tKim Marriott and \n\t\tHarald S{\\o}ndergaard and \n\t\tPeter J. Stuckey},\n title = {Two Applications of an Incremental Analysis Engine for\n (Constraint) Logic Programs (System Description)},\n editor = {R. Cousot and D. A. Schmidt},\n booktitle = {Static Analysis: Proceedings of the Third International \n\t\tSymposium},\n series = {Lecture Notes in Computer Science},\n volume = {1145},\n pages = {385--386},\n publisher = {Springer},\n year = {1996},\n doi = {10.1007/3-540-61739-6_55},\n keywords = {Constraint programming, Logic programming, Prolog, Static analysis, Program transformation, Compilation},\n}\n\n","author_short":["Kelly, A. D.","Marriott, K.","Søndergaard, H.","Stuckey, P. J."],"editor_short":["Cousot, R.","Schmidt, D. A."],"key":"Kel-Mar-Son-Stu_SAS96","id":"Kel-Mar-Son-Stu_SAS96","bibbaseid":"kelly-marriott-sndergaard-stuckey-twoapplicationsofanincrementalanalysisengineforconstraintlogicprogramssystemdescription-1996","role":"author","urls":{},"keyword":["Constraint programming","Logic programming","Prolog","Static analysis","Program transformation","Compilation"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"people.eng.unimelb.edu.au/harald/bibbase.bib","dataSources":["yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","wpkuJrZJJtqra3FbL","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":["constraint programming","logic programming","prolog","static analysis","program transformation","compilation"],"search_terms":["two","applications","incremental","analysis","engine","constraint","logic","programs","system","description","kelly","marriott","søndergaard","stuckey"],"title":"Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (System Description)","year":1996}