A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages

Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses. Our basic claim is that most, if not all, of these analyses can be described within a unified notion of cons...

Full description

Saved in:

Bibliographic Details
Published in:	Science of computer programming Vol. 30; no. 1; pp. 119 - 155
Main Author:	Bagnara, Roberto
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 1998
Subjects:	Abstract interpretation Constraint systems Constraint-based languages Data-flow analysis Constraint systems Abstract interpretation Data-flow analysis Constraint-based languages
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses. Our basic claim is that most, if not all, of these analyses can be described within a unified notion of constraint domains. We present a class of constraint systems that allows for a smooth integration within an appropriate framework for the definition of non-standard semantics of constraint logic-based languages. Such a framework is also presented and motivated. We then show how such domains can be built, as well as construction techniques that induce a hierarchy of domains with interesting properties. In particular, we propose a general methodology for domain combination with asynchronous interaction (i.e., the interaction is not necessarily synchronized with the domains' operations). By following this methodology, interesting combinations of domains can be expressed with all the semantic elegance of concurrent constraint programming languages.
AbstractList	Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses. Our basic claim is that most, if not all, of these analyses can be described within a unified notion of constraint domains. We present a class of constraint systems that allows for a smooth integration within an appropriate framework for the definition of non-standard semantics of constraint logic-based languages. Such a framework is also presented and motivated. We then show how such domains can be built, as well as construction techniques that induce a hierarchy of domains with interesting properties. In particular, we propose a general methodology for domain combination with asynchronous interaction (i.e., the interaction is not necessarily synchronized with the domains' operations). By following this methodology, interesting combinations of domains can be expressed with all the semantic elegance of concurrent constraint programming languages.
Author	Bagnara, Roberto
Author_xml	– sequence: 1 givenname: Roberto surname: Bagnara fullname: Bagnara, Roberto organization: Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy
BookMark	eNqFkE1LAzEQhoNUsK3-BGFPoofVzSbNbvAgpfgFBQ_qTQjZ7KSNbDc1kyr9925b8dBL5zBzed5h5hmQXutbIOScZtc0o-LmtWtFKnjOLmVxlXUlU3lE-rQs8rSQgvdI_x85IQPEz44RvKB98jFO5g6CDma-TrxNjG8xBu3amOAaIywwsT4ktY46tY3_SXSrmzU63IMbP3MmrTRCnTS6na30DPCUHFvdIJz9zSF5f7h_mzyl05fH58l4mhrGyphCyQUvTVWVFefWFozbrBJgZCWNhpzVErJa5pZZKmjGOcuZFMIyLqm2UlM2JBe7vcvgv1aAUS0cGmi6Q8CvUOXFaMRFmXXg7Q40wSMGsMq4qKPz7eaNRtFMbYyqrVG10aVkobZGlezSo730MriFDuuDubtdDjoH351thcZBa6B2AUxUtXcHNvwCAceRPw
CitedBy_id	crossref_primary_10_1016_S0304_3975_98_00194_7 crossref_primary_10_1016_j_tcs_2009_07_033 crossref_primary_10_1007_s10009_005_0215_8 crossref_primary_10_1016_S0167_6423_97_00009_9 crossref_primary_10_1145_3156017 crossref_primary_10_1016_j_scico_2007_08_001 crossref_primary_10_1016_j_comgeo_2009_09_002
Cites_doi	10.1016/0743-1066(92)90030-7 10.1016/0743-1066(94)90033-7 10.1016/0743-1066(95)00038-0 10.1016/S0167-6423(96)00039-1 10.1016/0020-0255(74)90008-5 10.1016/0743-1066(91)90017-J 10.1016/0004-3702(77)90007-8 10.1093/logcom/2.4.511 10.1016/0743-1066(85)90004-4 10.1016/S0167-6423(97)00009-9 10.1016/0004-3702(87)90091-9 10.1145/129393.129398 10.1145/182.358434 10.1016/0167-6423(83)90022-9 10.1016/0743-1066(94)90050-7
ContentType	Journal Article
Copyright	1998
Copyright_xml	– notice: 1998
DBID	6I. AAFTH AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D
DOI	10.1016/S0167-6423(97)00009-9
DatabaseName	ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional
DatabaseTitleList	Computer and Information Systems Abstracts
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1872-7964
EndPage	155
ExternalDocumentID	10_1016_S0167_6423_97_00009_9 S0167642397000099
GroupedDBID	--K --M .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADMUD AEBSH AEKER AENEX AEXQZ AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TN5 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c338t-e84648cbb8b44ff734f0b6ec9b9cae23d9e0d92f3f161044323966f3491af9a13
ISICitedReferencesCount	12
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000071715200005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0167-6423
IngestDate	Sat Sep 27 18:35:56 EDT 2025 Tue Nov 18 22:00:06 EST 2025 Sat Nov 29 03:37:09 EST 2025 Fri Feb 23 02:28:29 EST 2024
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	1
Keywords	Constraint systems Abstract interpretation Data-flow analysis Constraint-based languages
Language	English
License	http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0
LinkModel	OpenURL
MergedId	FETCHMERGED-LOGICAL-c338t-e84648cbb8b44ff734f0b6ec9b9cae23d9e0d92f3f161044323966f3491af9a13
Notes	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
OpenAccessLink	https://dx.doi.org/10.1016/S0167-6423(97)00009-9
PQID	27554680
PQPubID	23500
PageCount	37
ParticipantIDs	proquest_miscellaneous_27554680 crossref_citationtrail_10_1016_S0167_6423_97_00009_9 crossref_primary_10_1016_S0167_6423_97_00009_9 elsevier_sciencedirect_doi_10_1016_S0167_6423_97_00009_9
PublicationCentury	1900
PublicationDate	1998 1998-01-00 19980101
PublicationDateYYYYMMDD	1998-01-01
PublicationDate_xml	– year: 1998 text: 1998
PublicationDecade	1990
PublicationTitle	Science of computer programming
PublicationYear	1998
Publisher	Elsevier B.V
Publisher_xml	– name: Elsevier B.V
References	Bagnara (BIB3) 1994 Jaffar, Maher (BIB29) 1994; 19 & 20 Cousot, Cousot (BIB15) 1992; 13 Cortesi, Le Charlier, Van Hentenryck (BIB12) 1994 Hong (BIB26) 1993 Mackworth (BIB31) 1977; 8 Codish, Demoen (BIB9) 1993 Montanari (BIB33) 1974; 7 Saraswat (BIB35) 1993 Cousot, Cousot (BIB17) 1992; Vol. 631 Debray, Ramakrishnan (BIB20) 1994; 18 Jaffar, Lassez (BIB27) 1987 Bagnara (BIB5) 1997 Cousot, Cousot (BIB14) 1979 Scott (BIB37) 1982; Vol. 140 Armstrong, Marriott, Schachte, Søndergaard (BIB2) 1994 Saraswat, Rinard, Panangaden (BIB36) 1991 Jaffar, Michaylov, Stuckey, Yap (BIB28) 1992; 14 Hanus (BIB25) 1993 Dart (BIB18) 1991; 11 Bagnara, Giacobazzi, Levi (BIB6) September 1992; Vols. 81–82 Bagnara (BIB4) 1996 Filé, Ranzato (BIB21) 1994 Van Hentenryck, Saraswat, Deville (BIB39) 1992 Mellish (BIB32) 1985; 2 Cousot, Cousot (BIB13) 1977 Davis (BIB19) 1987; 32 Giacobazzi, Debray, Levi (BIB22) 1995; 25 Saraswat (BIB34) 1992 Allen (BIB1) 1983; 26 Cousot, Cousot (BIB16) 1992; 2 Codognet, Filé (BIB10) 1992 Jones, Søndergaard (BIB30) 1987 Simmons (BIB38) 1986 Bagnara, Giacobazzi, Levi (BIB7) 1993 Barbuti, Martelli (BIB8) 1983; 3 Cortesi, Filè, Winsborough (BIB11) 1991 Giacobazzi, Ranzato (BIB23) 1996; Vol. 1058 Gierz, Hofmann, Keimel, Lawson, Mislove, Scott (BIB24) 1980 Jones (10.1016/S0167-6423(97)00009-9_BIB30) 1987 Montanari (10.1016/S0167-6423(97)00009-9_BIB33) 1974; 7 Saraswat (10.1016/S0167-6423(97)00009-9_BIB35) 1993 Hong (10.1016/S0167-6423(97)00009-9_BIB26) 1993 Mellish (10.1016/S0167-6423(97)00009-9_BIB32) 1985; 2 Debray (10.1016/S0167-6423(97)00009-9_BIB20) 1994; 18 Van Hentenryck (10.1016/S0167-6423(97)00009-9_BIB39) 1992 Scott (10.1016/S0167-6423(97)00009-9_BIB37) 1982; Vol. 140 Bagnara (10.1016/S0167-6423(97)00009-9_BIB6) 1992; Vols. 81–82 Bagnara (10.1016/S0167-6423(97)00009-9_BIB7) 1993 Bagnara (10.1016/S0167-6423(97)00009-9_BIB5) 1997 Barbuti (10.1016/S0167-6423(97)00009-9_BIB8) 1983; 3 Cortesi (10.1016/S0167-6423(97)00009-9_BIB12) 1994 Mackworth (10.1016/S0167-6423(97)00009-9_BIB31) 1977; 8 Armstrong (10.1016/S0167-6423(97)00009-9_BIB2) 1994 Cousot (10.1016/S0167-6423(97)00009-9_BIB15) 1992; 13 Cousot (10.1016/S0167-6423(97)00009-9_BIB13) 1977 Hanus (10.1016/S0167-6423(97)00009-9_BIB25) 1993 Cousot (10.1016/S0167-6423(97)00009-9_BIB16) 1992; 2 Davis (10.1016/S0167-6423(97)00009-9_BIB19) 1987; 32 Cousot (10.1016/S0167-6423(97)00009-9_BIB14) 1979 Bagnara (10.1016/S0167-6423(97)00009-9_BIB3) 1994 Jaffar (10.1016/S0167-6423(97)00009-9_BIB27) 1987 Saraswat (10.1016/S0167-6423(97)00009-9_BIB34) 1992 Codognet (10.1016/S0167-6423(97)00009-9_BIB10) 1992 Cortesi (10.1016/S0167-6423(97)00009-9_BIB11) 1991 Filé (10.1016/S0167-6423(97)00009-9_BIB21) 1994 Jaffar (10.1016/S0167-6423(97)00009-9_BIB28) 1992; 14 Jaffar (10.1016/S0167-6423(97)00009-9_BIB29) 1994; 19 & 20 Simmons (10.1016/S0167-6423(97)00009-9_BIB38) 1986 Giacobazzi (10.1016/S0167-6423(97)00009-9_BIB22) 1995; 25 Bagnara (10.1016/S0167-6423(97)00009-9_BIB4) 1996 Cousot (10.1016/S0167-6423(97)00009-9_BIB17) 1992; Vol. 631 Dart (10.1016/S0167-6423(97)00009-9_BIB18) 1991; 11 Giacobazzi (10.1016/S0167-6423(97)00009-9_BIB23) 1996; Vol. 1058 Saraswat (10.1016/S0167-6423(97)00009-9_BIB36) 1991 Codish (10.1016/S0167-6423(97)00009-9_BIB9) 1993 Allen (10.1016/S0167-6423(97)00009-9_BIB1) 1983; 26 Gierz (10.1016/S0167-6423(97)00009-9_BIB24) 1980
References_xml	– start-page: 322 year: 1991 end-page: 327 ident: BIB11 article-title: Prop revisited: Propositional formula as abstract domain for groundness analysis publication-title: Proc. 6th IEEE Symp. on Logic In Computer Science – volume: 8 start-page: 99 year: 1977 end-page: 118 ident: BIB31 article-title: Consistency in networks of relations publication-title: Artif. Intell. – volume: 18 start-page: 149 year: 1994 end-page: 176 ident: BIB20 article-title: Abstract interpretation of logic programs using magic transformations publication-title: J. Logic Programming – start-page: 312 year: 1994 end-page: 326 ident: BIB3 article-title: On the detection of implicit and redundant numeric constraints in CLP programs publication-title: Proc. 1994 Joint Conf. on Declarative Programming (GULP-PRODE '94) – start-page: 83 year: 1993 end-page: 99 ident: BIB25 article-title: Analysis of nonlinear constraints in CLP( publication-title: Proc. 10th Internat. Conf. on Logic Programming – volume: 14 start-page: 339 year: 1992 end-page: 395 ident: BIB28 article-title: The CLP( publication-title: ACM Trans. Programming Languages Systems – start-page: 123 year: 1987 end-page: 142 ident: BIB30 article-title: A semantics-based framework for the abstract interpretation of Prolog publication-title: Abstract Interpretation of Declarative Languages – volume: Vol. 631 start-page: 269 year: 1992 end-page: 295 ident: BIB17 article-title: Comparing the Galois connection and widening/narrowing approaches to abstract interpretation publication-title: Proc. PLILP'92 – year: 1980 ident: BIB24 article-title: A Compendium of Continuous Lattices – start-page: 111 year: 1987 end-page: 119 ident: BIB27 article-title: Constraint logic programming publication-title: Proc. 14th Annual ACM Symp. on Principles of Programming Languages – start-page: 118 year: 1986 end-page: 124 ident: BIB38 article-title: Commonsense arithmetic reasoning publication-title: Proc. AAAI-86 – volume: 19 & 20 start-page: 503 year: 1994 end-page: 582 ident: BIB29 article-title: Constraint logic programming: A survey publication-title: J. Logic Programming – volume: 2 start-page: 511 year: 1992 end-page: 549 ident: BIB16 article-title: Abstract interpretation frameworks publication-title: J. Logic Comput. – volume: 2 start-page: 43 year: 1985 end-page: 66 ident: BIB32 article-title: Some global optimizations for a Prolog compiler publication-title: J. Logic Programming – start-page: 333 year: 1991 end-page: 353 ident: BIB36 article-title: Semantic foundation of concurrent constraint programming publication-title: Proc. 18th Annual ACM Symp. on Principles of Programming Languages – volume: 3 start-page: 279 year: 1983 end-page: 311 ident: BIB8 article-title: A structured approach to static semantics correctness publication-title: Science of Computer Programming – start-page: 270 year: 1993 end-page: 276 ident: BIB7 article-title: An application of constraint propagation to data-flow analysis publication-title: Proc. 9th Conf. on Artificial Intelligence for Applications – year: 1997 ident: BIB5 article-title: Data-Flow Analysis for Constraint Logic-Based Languages publication-title: PhD thesis – start-page: 114 year: 1993 end-page: 129 ident: BIB9 article-title: Analysing logic programs using “Prop”-ositional logic programs and a magic wand publication-title: Logic Programming — Proceedings of the 1993 Internat. Symp. – start-page: 227 year: 1994 end-page: 239 ident: BIB12 article-title: Combinations of abstract domains for logic programming publication-title: Conf. Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages – volume: 26 start-page: 832 year: 1983 end-page: 843 ident: BIB1 article-title: Maintaining knowledge about temporal intervals publication-title: Comm. ACM – volume: Vol. 140 start-page: 577 year: 1982 end-page: 613 ident: BIB37 article-title: Domains for denotational semantics publication-title: Proc. 9th Internat. Coll. on Automata, Languages and Programming – volume: Vols. 81–82 start-page: 43 year: September 1992 end-page: 50 ident: BIB6 article-title: Static analysis of CLP programs over numeric domains publication-title: Actes Workshop on Static Analysis '92, Bigre – year: 1992 ident: BIB34 article-title: The category of constraint systems is Cartesian-closed publication-title: Proc. 7th IEEE Symp. on Logic in Computer Science – year: 1993 ident: BIB35 article-title: Concurrent Constraint Programming – year: 1996 ident: BIB4 article-title: A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages publication-title: Tech. Report TR-96-10 – start-page: 238 year: 1977 end-page: 252 ident: BIB13 article-title: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints publication-title: Proc. 4th ACM Symp. Principles of Programming Languages – year: 1993 ident: BIB26 article-title: RISC-CLP(Real): Logic programming with non-linear constraints over the reals publication-title: Constraint Logic Programming: Selected Research – year: 1994 ident: BIB2 article-title: Two classes of boolean functions for dependency analysis publication-title: Tech. Report 94/211 – volume: 11 start-page: 163 year: 1991 end-page: 188 ident: BIB18 article-title: On derived dependencies and connected databases publication-title: J. Logic Programming – year: 1992 ident: BIB10 article-title: Computations, abstractions and constraints publication-title: Proc. 4th IEEE Internat. Conf. on Computer Languages – volume: 25 start-page: 191 year: 1995 end-page: 247 ident: BIB22 article-title: Generalized semantics and abstract interpretation for constraint logic programs publication-title: J. Logic Programming – volume: 32 start-page: 281 year: 1987 end-page: 331 ident: BIB19 article-title: Constraint propagation with interval labels publication-title: Artif. Intell. – start-page: 269 year: 1979 end-page: 282 ident: BIB14 article-title: Systematic design of program analysis frameworks publication-title: Proc. 6th ACM Symp. Principles of Programming Languages – volume: Vol. 1058 start-page: 141 year: 1996 end-page: 155 ident: BIB23 article-title: Compositional optimization of disjunctive abstract interpretations publication-title: Proc. 1996 European Symp. on Programming – volume: 7 start-page: 95 year: 1974 end-page: 132 ident: BIB33 article-title: Networks of constraints: Fundamental properties and applications to picture processing publication-title: Inform. Sci. – volume: 13 start-page: 103 year: 1992 end-page: 179 ident: BIB15 article-title: Abstract interpretation and applications to logic programs publication-title: J. Logic Programming – start-page: 655 year: 1994 end-page: 669 ident: BIB21 article-title: Improving abstract interpretations by systematic lifting to the powerset publication-title: Proc. 1994 Internat. Logic Programming Symp. (ILPS '94) – year: 1992 ident: BIB39 article-title: Constraint logic programming over finite domains: the design, implementation, and applications of cc(fd) publication-title: Technical report – start-page: 238 year: 1977 ident: 10.1016/S0167-6423(97)00009-9_BIB13 article-title: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB34 article-title: The category of constraint systems is Cartesian-closed – year: 1980 ident: 10.1016/S0167-6423(97)00009-9_BIB24 – year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB39 article-title: Constraint logic programming over finite domains: the design, implementation, and applications of cc(fd) – start-page: 322 year: 1991 ident: 10.1016/S0167-6423(97)00009-9_BIB11 article-title: Prop revisited: Propositional formula as abstract domain for groundness analysis – start-page: 333 year: 1991 ident: 10.1016/S0167-6423(97)00009-9_BIB36 article-title: Semantic foundation of concurrent constraint programming – year: 1997 ident: 10.1016/S0167-6423(97)00009-9_BIB5 article-title: Data-Flow Analysis for Constraint Logic-Based Languages – volume: 13 start-page: 103 issue: 2 & 3 year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB15 article-title: Abstract interpretation and applications to logic programs publication-title: J. Logic Programming doi: 10.1016/0743-1066(92)90030-7 – volume: 19 & 20 start-page: 503 year: 1994 ident: 10.1016/S0167-6423(97)00009-9_BIB29 article-title: Constraint logic programming: A survey publication-title: J. Logic Programming doi: 10.1016/0743-1066(94)90033-7 – start-page: 269 year: 1979 ident: 10.1016/S0167-6423(97)00009-9_BIB14 article-title: Systematic design of program analysis frameworks – volume: 25 start-page: 191 issue: 3 year: 1995 ident: 10.1016/S0167-6423(97)00009-9_BIB22 article-title: Generalized semantics and abstract interpretation for constraint logic programs publication-title: J. Logic Programming doi: 10.1016/0743-1066(95)00038-0 – year: 1993 ident: 10.1016/S0167-6423(97)00009-9_BIB26 article-title: RISC-CLP(Real): Logic programming with non-linear constraints over the reals – year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB10 article-title: Computations, abstractions and constraints – start-page: 227 year: 1994 ident: 10.1016/S0167-6423(97)00009-9_BIB12 article-title: Combinations of abstract domains for logic programming – start-page: 83 year: 1993 ident: 10.1016/S0167-6423(97)00009-9_BIB25 article-title: Analysis of nonlinear constraints in CLP(R) – year: 1994 ident: 10.1016/S0167-6423(97)00009-9_BIB2 article-title: Two classes of boolean functions for dependency analysis doi: 10.1016/S0167-6423(96)00039-1 – start-page: 270 year: 1993 ident: 10.1016/S0167-6423(97)00009-9_BIB7 article-title: An application of constraint propagation to data-flow analysis – start-page: 114 year: 1993 ident: 10.1016/S0167-6423(97)00009-9_BIB9 article-title: Analysing logic programs using “Prop”-ositional logic programs and a magic wand – volume: Vol. 1058 start-page: 141 year: 1996 ident: 10.1016/S0167-6423(97)00009-9_BIB23 article-title: Compositional optimization of disjunctive abstract interpretations – volume: Vol. 140 start-page: 577 year: 1982 ident: 10.1016/S0167-6423(97)00009-9_BIB37 article-title: Domains for denotational semantics – volume: 7 start-page: 95 year: 1974 ident: 10.1016/S0167-6423(97)00009-9_BIB33 article-title: Networks of constraints: Fundamental properties and applications to picture processing publication-title: Inform. Sci. doi: 10.1016/0020-0255(74)90008-5 – year: 1993 ident: 10.1016/S0167-6423(97)00009-9_BIB35 – volume: 11 start-page: 163 issue: 2 year: 1991 ident: 10.1016/S0167-6423(97)00009-9_BIB18 article-title: On derived dependencies and connected databases publication-title: J. Logic Programming doi: 10.1016/0743-1066(91)90017-J – volume: 8 start-page: 99 year: 1977 ident: 10.1016/S0167-6423(97)00009-9_BIB31 article-title: Consistency in networks of relations publication-title: Artif. Intell. doi: 10.1016/0004-3702(77)90007-8 – start-page: 312 year: 1994 ident: 10.1016/S0167-6423(97)00009-9_BIB3 article-title: On the detection of implicit and redundant numeric constraints in CLP programs – volume: 2 start-page: 511 issue: 4 year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB16 article-title: Abstract interpretation frameworks publication-title: J. Logic Comput. doi: 10.1093/logcom/2.4.511 – volume: 2 start-page: 43 year: 1985 ident: 10.1016/S0167-6423(97)00009-9_BIB32 article-title: Some global optimizations for a Prolog compiler publication-title: J. Logic Programming doi: 10.1016/0743-1066(85)90004-4 – year: 1996 ident: 10.1016/S0167-6423(97)00009-9_BIB4 article-title: A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages doi: 10.1016/S0167-6423(97)00009-9 – volume: 32 start-page: 281 year: 1987 ident: 10.1016/S0167-6423(97)00009-9_BIB19 article-title: Constraint propagation with interval labels publication-title: Artif. Intell. doi: 10.1016/0004-3702(87)90091-9 – start-page: 123 year: 1987 ident: 10.1016/S0167-6423(97)00009-9_BIB30 article-title: A semantics-based framework for the abstract interpretation of Prolog – volume: 14 start-page: 339 issue: 3 year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB28 article-title: The CLP(R) language and system publication-title: ACM Trans. Programming Languages Systems doi: 10.1145/129393.129398 – volume: 26 start-page: 832 issue: 11 year: 1983 ident: 10.1016/S0167-6423(97)00009-9_BIB1 article-title: Maintaining knowledge about temporal intervals publication-title: Comm. ACM doi: 10.1145/182.358434 – start-page: 655 year: 1994 ident: 10.1016/S0167-6423(97)00009-9_BIB21 article-title: Improving abstract interpretations by systematic lifting to the powerset – volume: 3 start-page: 279 year: 1983 ident: 10.1016/S0167-6423(97)00009-9_BIB8 article-title: A structured approach to static semantics correctness publication-title: Science of Computer Programming doi: 10.1016/0167-6423(83)90022-9 – start-page: 111 year: 1987 ident: 10.1016/S0167-6423(97)00009-9_BIB27 article-title: Constraint logic programming – volume: Vol. 631 start-page: 269 year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB17 article-title: Comparing the Galois connection and widening/narrowing approaches to abstract interpretation – start-page: 118 year: 1986 ident: 10.1016/S0167-6423(97)00009-9_BIB38 article-title: Commonsense arithmetic reasoning – volume: Vols. 81–82 start-page: 43 year: 1992 ident: 10.1016/S0167-6423(97)00009-9_BIB6 article-title: Static analysis of CLP programs over numeric domains – volume: 18 start-page: 149 issue: 2 year: 1994 ident: 10.1016/S0167-6423(97)00009-9_BIB20 article-title: Abstract interpretation of logic programs using magic transformations publication-title: J. Logic Programming doi: 10.1016/0743-1066(94)90050-7
SSID	ssj0006471
Score	1.5261574
Snippet	Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are...
SourceID	proquest crossref elsevier
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	119
SubjectTerms	Abstract interpretation Constraint systems Constraint-based languages Data-flow analysis
Title	A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
URI	https://dx.doi.org/10.1016/S0167-6423(97)00009-9 https://www.proquest.com/docview/27554680
Volume	30
WOSCitedRecordID	wos000071715200005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7964 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: AIEXJ dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bi9QwFA4664Mv3sX1mgcflCXaaTNN8jjIioosgivMgxDSJlmEtV1mZmX9957TXFp2kVXBlzKUXDo5H-eWcyHkufVelYZbhl0dGDemYcbUDeOilMZwMJvtUDL_ozg4kKuV-hRDeTdDOwHRdfLsTJ38V1LDOyA2ps7-BbnzovACfgPR4Qlkh-cfEX65h-2t8U_9DDHjWCMW7P9trNo8FGDYw8hQ5o97DAgey5JMBg88kaGQs9mpuZmqsokrxLh0bA2Ror2-J3k4uEiPOrM2YxR3PzoaMPNu9HtdyH0JrkhgsWC9BPbkAvuUAvR1FeqSJ_4a712mOArMch6ZZZC781Cu9wJLD96Fz3k7ULyxeLAatFumRjmWowuHsThUiaACXyU7pQDLaUZ2lu_3Vx-yqK6DRZ7XHlO8Xo8bvlDiZdzsd8rLOTE-6CaHt8iNaFTQZQDDbXLFdXfIzdSwg0ZK3SVflzRjg_aejuSmERsUsEEzNmjCxrnBE2zQjI175Mvb_cM371hsr8HaqpJb5kD15LJtGtlw7r2ouC-a2rWqUa1xZWWVK6wqfeXBKig4r-BA69pXXM2NV2Ze3Sezru_cA0Ilt4sKmMGi5QtuW6wJWRZe4CW_VY10u4Snc9NtrD2PX3ysJ0GGtdB43DpERBRKq13yKk87CcVXLpsgE1F01CCDZqgBTZdNfZaIqIHD4rWZ6Vx_utEAnQWvZfHw3xd_RK6HXFZ03T0ms-361D0h19of22-b9dOIyl_upJ6J
linkProvider	Elsevier
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+hierarchy+of+constraint+systems+for+data-flow+analysis+of+constraint+logic-based+languages&rft.jtitle=Science+of+computer+programming&rft.au=Bagnara%2C+Roberto&rft.date=1998&rft.pub=Elsevier+B.V&rft.issn=0167-6423&rft.eissn=1872-7964&rft.volume=30&rft.issue=1&rft.spage=119&rft.epage=155&rft_id=info:doi/10.1016%2FS0167-6423%2897%2900009-9&rft.externalDocID=S0167642397000099
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-6423&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-6423&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-6423&client=summon