{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T10:18:41Z","timestamp":1672481921596},"reference-count":28,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1016\/0020-0190(96)00051-8","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T23:55:41Z","timestamp":1052783741000},"page":"163-170","source":"Crossref","is-referenced-by-count":1,"title":["An abstract interpretation framework for optimizing dynamic modular logic languages"],"prefix":"10.1016","volume":"58","author":[{"given":"Anna","family":"Ciampolini","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(96)00051-8_BIB1","series-title":"Proc. 20th Ann. ACM Symp. on Principles of Programming Languages","first-page":"359","article-title":"Differential logic programs","author":"Bossi","year":"1993"},{"key":"10.1016\/0020-0190(96)00051-8_BIB2","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0020-0190(90)90040-5","article-title":"Hypothetical reasoning in logic programming: A semantics approach","volume":"36","author":"Brogi","year":"1990","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0020-0190(96)00051-8_BIB3","series-title":"Proc. 9th European Conf. on Artificial Intelligence","first-page":"359","article-title":"Inheritance and hypothetical reasoning in logic programming","author":"Brogi","year":"1990"},{"key":"10.1016\/0020-0190(96)00051-8_BIB4","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF03037525","article-title":"Compositional model-theoretic semantics for logic programs","volume":"11","author":"Brogi","year":"1992","journal-title":"New Generation Comput."},{"key":"10.1016\/0020-0190(96)00051-8_BIB5","series-title":"Logic Programming","first-page":"359","article-title":"Objects in a logic programming framework","author":"Brogi","year":"1992"},{"key":"10.1016\/0020-0190(96)00051-8_BIB6","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","article-title":"Modularity in logic programming","volume":"19\u201320","author":"Bugliesi","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/0020-0190(96)00051-8_BIB7","series-title":"Proc. Gulp-Prode 95 Internat. Conf.","first-page":"443","article-title":"Improving the efficiency of dynamic modular languages","author":"Ciampolini","year":"1995"},{"key":"10.1016\/0020-0190(96)00051-8_BIB8","article-title":"An abstract interpreter for improving the efficiency of dynamic modular logic languages","author":"Ciampolini","year":"1996"},{"key":"10.1016\/0020-0190(96)00051-8_BIB9","article-title":"Annex of EEC-ESPRIT project on advanced logic programming environments ALPES","author":"The ALPES Consortium","year":"1989","journal-title":"Tech. Rept."},{"key":"10.1016\/0020-0190(96)00051-8_BIB10","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/0743-1066(92)90030-7","article-title":"Abstract interpretation and application to logic programs","volume":"13","author":"Cousot","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/0020-0190(96)00051-8_BIB11","series-title":"Proc. 16th Ann. ACM Symp. on Principles of Programming Languages","first-page":"443","article-title":"Fully abstract compositional semantics for logic programs","author":"Gaifman","year":"1989"},{"key":"10.1016\/0020-0190(96)00051-8_BIB12","series-title":"Proc. FGCS'88 Internat. Conf.","first-page":"443","article-title":"Local definitions with static scope rules in logic languages","author":"Giordano","year":"1988"},{"key":"10.1016\/0020-0190(96)00051-8_BIB13","series-title":"Proc. 7th Internat. Conference on Logic Programming","first-page":"511","article-title":"Representing objects in a logic programming language with scoping constructs","author":"Hodas","year":"1990"},{"key":"10.1016\/0020-0190(96)00051-8_BIB14","series-title":"Proc. 8th Internat. Conf. on Logic Programming","first-page":"871","article-title":"Implementation techniques for scoping constructs in logic programming","author":"Jayaraman","year":"1991"},{"key":"10.1016\/0020-0190(96)00051-8_BIB15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(92)90011-Q","article-title":"An extended Warren Abstract Machine for the execution of structured logic programs","volume":"14","author":"Lamma","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/0020-0190(96)00051-8_BIB16","series-title":"Proc. 5th Internat. Conf. on Logic Programming","first-page":"1006","article-title":"An algebra of logic programs","author":"Mancarella","year":"1988"},{"key":"10.1016\/0020-0190(96)00051-8_BIB17","series-title":"Logic and Objects","author":"McCabe","year":"1992"},{"key":"10.1016\/0020-0190(96)00051-8_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","article-title":"Clausal intuitionistic logic I: Fixed point semantics","volume":"5","author":"McCarty","year":"1988","journal-title":"J. Logic Programming"},{"key":"10.1016\/0020-0190(96)00051-8_BIB19","series-title":"Proc. 1989 North American Conf. on Logic Programming","first-page":"451","article-title":"Logic programming in a software engineering perspective","author":"Mello","year":"1989"},{"key":"10.1016\/0020-0190(96)00051-8_BIB20","series-title":"Proc. Symp. on Logic Programming","first-page":"106","article-title":"A theory of modules in logic programming","author":"Miller","year":"1986"},{"key":"10.1016\/0020-0190(96)00051-8_BIB21","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","article-title":"A logical analysis of modules in logic programming","volume":"6","author":"Miller","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/0020-0190(96)00051-8_BIB22","series-title":"Proc. 6th Internat. Conf. on Logic Programming","first-page":"284","article-title":"Contextual logic programming","author":"Monteiro","year":"1989"},{"key":"10.1016\/0020-0190(96)00051-8_BIB23","series-title":"Logic Programming Languages, Constraints, Functions and Objects","first-page":"115","article-title":"A language for contextual logic programming","author":"Monteiro","year":"1993"},{"key":"10.1016\/0020-0190(96)00051-8_BIB24","series-title":"Proc. IEEE Symp. on Logic Programming","first-page":"152","article-title":"Towards an algebra for constructing logic programs","author":"O'Keefe","year":"1985"},{"key":"10.1016\/0020-0190(96)00051-8_BIB25","series-title":"Denotational Semantics","author":"Schmidt","year":"1986"},{"key":"10.1016\/0020-0190(96)00051-8_BIB26","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. ACM"},{"key":"10.1016\/0020-0190(96)00051-8_BIB27","article-title":"An abstract Prolog instruction set","author":"Warren","year":"1983"},{"key":"10.1016\/0020-0190(96)00051-8_BIB28","series-title":"Proc. 1994 IEEE Internat. Conf. on Robotics and Automation, ICRA'94","first-page":"3501","article-title":"A multi-agent framework and programming environment for autonomous robotics","author":"Zanichelli","year":"1994"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019096000518?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019096000518?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:23:50Z","timestamp":1556058230000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019096000518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["0020019096000518"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(96)00051-8","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}