{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T23:30:28Z","timestamp":1707521428224},"reference-count":39,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5676,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0167-6423(97)00009-9","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T23:52:44Z","timestamp":1051141964000},"page":"119-155","source":"Crossref","is-referenced-by-count":14,"title":["A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages"],"prefix":"10.1016","volume":"30","author":[{"given":"Roberto","family":"Bagnara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"11","key":"10.1016\/S0167-6423(97)00009-9_BIB1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Comm. ACM"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB2","doi-asserted-by":"crossref","DOI":"10.1016\/S0167-6423(96)00039-1","article-title":"Two classes of boolean functions for dependency analysis","author":"Armstrong","year":"1994"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB3","series-title":"Proc. 1994 Joint Conf. on Declarative Programming (GULP-PRODE '94)","first-page":"312","article-title":"On the detection of implicit and redundant numeric constraints in CLP programs","author":"Bagnara","year":"1994"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB4","doi-asserted-by":"crossref","DOI":"10.1016\/S0167-6423(97)00009-9","article-title":"A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages","author":"Bagnara","year":"1996"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB5","article-title":"Data-Flow Analysis for Constraint Logic-Based Languages","author":"Bagnara","year":"1997"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB6","first-page":"43","article-title":"Static analysis of CLP programs over numeric domains","volume":"Vols. 81\u201382","author":"Bagnara","year":"1992"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB7","series-title":"Proc. 9th Conf. on Artificial Intelligence for Applications","first-page":"270","article-title":"An application of constraint propagation to data-flow analysis","author":"Bagnara","year":"1993"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB8","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0167-6423(83)90022-9","article-title":"A structured approach to static semantics correctness","volume":"3","author":"Barbuti","year":"1983","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB9","series-title":"Logic Programming \u2014 Proceedings of the 1993 Internat. Symp.","first-page":"114","article-title":"Analysing logic programs using \u201cProp\u201d-ositional logic programs and a magic wand","author":"Codish","year":"1993"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB10","series-title":"Proc. 4th IEEE Internat. Conf. on Computer Languages","article-title":"Computations, abstractions and constraints","author":"Codognet","year":"1992"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB11","series-title":"Proc. 6th IEEE Symp. on Logic In Computer Science","first-page":"322","article-title":"Prop revisited: Propositional formula as abstract domain for groundness analysis","author":"Cortesi","year":"1991"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB12","series-title":"Conf. Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages","first-page":"227","article-title":"Combinations of abstract domains for logic programming","author":"Cortesi","year":"1994"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB13","series-title":"Proc. 4th ACM Symp. Principles of Programming Languages","first-page":"238","article-title":"Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints","author":"Cousot","year":"1977"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB14","series-title":"Proc. 6th ACM Symp. Principles of Programming Languages","first-page":"269","article-title":"Systematic design of program analysis frameworks","author":"Cousot","year":"1979"},{"issue":"2 & 3","key":"10.1016\/S0167-6423(97)00009-9_BIB15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","article-title":"Abstract interpretation and applications to logic programs","volume":"13","author":"Cousot","year":"1992","journal-title":"J. Logic Programming"},{"issue":"4","key":"10.1016\/S0167-6423(97)00009-9_BIB16","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","article-title":"Abstract interpretation frameworks","volume":"2","author":"Cousot","year":"1992","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0167-6423(97)00009-9_BIB17","series-title":"Proc. PLILP'92","first-page":"269","article-title":"Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation","volume":"Vol. 631","author":"Cousot","year":"1992"},{"issue":"2","key":"10.1016\/S0167-6423(97)00009-9_BIB18","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0743-1066(91)90017-J","article-title":"On derived dependencies and connected databases","volume":"11","author":"Dart","year":"1991","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB19","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","article-title":"Constraint propagation with interval labels","volume":"32","author":"Davis","year":"1987","journal-title":"Artif. Intell."},{"issue":"2","key":"10.1016\/S0167-6423(97)00009-9_BIB20","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0743-1066(94)90050-7","article-title":"Abstract interpretation of logic programs using magic transformations","volume":"18","author":"Debray","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB21","series-title":"Proc. 1994 Internat. Logic Programming Symp. (ILPS '94)","first-page":"655","article-title":"Improving abstract interpretations by systematic lifting to the powerset","author":"Fil\u00e9","year":"1994"},{"issue":"3","key":"10.1016\/S0167-6423(97)00009-9_BIB22","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(95)00038-0","article-title":"Generalized semantics and abstract interpretation for constraint logic programs","volume":"25","author":"Giacobazzi","year":"1995","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB23","series-title":"Proc. 1996 European Symp. on Programming","first-page":"141","article-title":"Compositional optimization of disjunctive abstract interpretations","volume":"Vol. 1058","author":"Giacobazzi","year":"1996"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB24","series-title":"A Compendium of Continuous Lattices","author":"Gierz","year":"1980"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB25","series-title":"Proc. 10th Internat. Conf. on Logic Programming","first-page":"83","article-title":"Analysis of nonlinear constraints in CLP(R)","author":"Hanus","year":"1993"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB26","series-title":"Constraint Logic Programming: Selected Research","article-title":"RISC-CLP(Real): Logic programming with non-linear constraints over the reals","author":"Hong","year":"1993"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB27","series-title":"Proc. 14th Annual ACM Symp. on Principles of Programming Languages","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"issue":"3","key":"10.1016\/S0167-6423(97)00009-9_BIB28","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","article-title":"The CLP(R) language and system","volume":"14","author":"Jaffar","year":"1992","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB29","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: A survey","volume":"19 & 20","author":"Jaffar","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB30","series-title":"Abstract Interpretation of Declarative Languages","first-page":"123","article-title":"A semantics-based framework for the abstract interpretation of Prolog","author":"Jones","year":"1987"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB31","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artif. Intell."},{"key":"10.1016\/S0167-6423(97)00009-9_BIB32","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","article-title":"Some global optimizations for a Prolog compiler","volume":"2","author":"Mellish","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB33","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Networks of constraints: Fundamental properties and applications to picture processing","volume":"7","author":"Montanari","year":"1974","journal-title":"Inform. Sci."},{"key":"10.1016\/S0167-6423(97)00009-9_BIB34","series-title":"Proc. 7th IEEE Symp. on Logic in Computer Science","article-title":"The category of constraint systems is Cartesian-closed","author":"Saraswat","year":"1992"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB35","series-title":"Concurrent Constraint Programming","author":"Saraswat","year":"1993"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB36","series-title":"Proc. 18th Annual ACM Symp. on Principles of Programming Languages","first-page":"333","article-title":"Semantic foundation of concurrent constraint programming","author":"Saraswat","year":"1991"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB37","series-title":"Proc. 9th Internat. Coll. on Automata, Languages and Programming","first-page":"577","article-title":"Domains for denotational semantics","volume":"Vol. 140","author":"Scott","year":"1982"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB38","series-title":"Proc. AAAI-86","first-page":"118","article-title":"Commonsense arithmetic reasoning","author":"Simmons","year":"1986"},{"key":"10.1016\/S0167-6423(97)00009-9_BIB39","article-title":"Constraint logic programming over finite domains: the design, implementation, and applications of cc(fd)","author":"Van Hentenryck","year":"1992"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642397000099?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642397000099?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T13:21:10Z","timestamp":1556544070000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642397000099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":39,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0167642397000099"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(97)00009-9","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}