{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:39:23Z","timestamp":1778297963004,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617563","type":"print"},{"value":"9783540706540","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_80","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:21:18Z","timestamp":1330276878000},"page":"107-121","source":"Crossref","is-referenced-by-count":5,"title":["A reactive implementation of Pos using ROBDDs"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bagnara","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"8_CR1","volume-title":"Technical Report 94\/211","author":"T. Armstrong","year":"1994","unstructured":"T. Armstrong, K. Marriott, P. Schachte, and H. Sondergaard. Two classes of boolean functions for dependency analysis. Technical Report 94\/211, Dept. Computer Science, Monash University, Melbourne, 1994."},{"key":"8_CR2","unstructured":"R. Bagnara. On the detection of implicit and redundant numeric constraints in CLP programs. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proceedings of the \u201c1994 Joint Conference on Declarative Programming (GULP-PRODE '94)\u201d, pages 312\u2013326, Pe\u00f1\u00edscola, Spain, September 1994."},{"key":"8_CR3","unstructured":"R. Bagnara. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Technical Report TR-96-10, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1996. To appear on a special issue of \u201cScience of Computer Programming\u201d."},{"key":"8_CR4","first-page":"270","volume-title":"An application of constraint propagation to data-flow analysis","author":"R. Bagnara","year":"1993","unstructured":"R. Bagnara, R. Giacobazzi, and G. Levi. An application of constraint propagation to data-flow analysis. In Proceedings of \u201cThe Ninth Conference on Artificial Intelligence for Applications\u201d, pages 270\u2013276, Orlando, Florida, March 1993. IEEE Computer Society Press, Los Alamitos, CA."},{"issue":"8","key":"8_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, August 1986.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"8_CR6","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"ACM Computing Surveys"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"A. Cortesi, G. Fil\u00e8, and W. Winsborough. Prop revisited: Prepositional formula as abstract domain for groundness analysis. In Proc. Sixth IEEE Symp. on Logic In Computer Science, pages 322\u2013327. IEEE Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151656"},{"key":"8_CR8","volume-title":"Technical Report CS-93-13","author":"A. Cortesi","year":"1993","unstructured":"A. Cortesi, B. Le Charlier, and P. Van Hentenryck. Conceptual and software support for abstract domain design: Generic structural domain and open product. Technical Report CS-93-13, Brown University, Providence, RI, 1993."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"A. Cortesi, B. Le Charlier, and P. Van Hentenryck. Combinations of abstract domains for logic programming. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 227\u2013239, Portland, Oregon, January 1994.","DOI":"10.1145\/174675.177880"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proc. Sixth ACM Symp. Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"issue":"2","key":"8_CR11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation and applications to logic programs. Journal of Logic Programming, 13(2 & 3):103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"8_CR12","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"S. K. Debray. Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 11(3):418\u2013450, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"8_CR13","first-page":"154","volume-title":"Accurate and efficient approximation of variable aliasing in logic programs","author":"D. Jacobs","year":"1989","unstructured":"D. Jacobs and A. Langen. Accurate and efficient approximation of variable aliasing in logic programs. In E. Lusk and R. Overbeek, editors, Proc. North American Conf. on Logic Programming'89, pages 154\u2013165. The MIT Press, Cambridge, Mass., 1989."},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap. The CLP( $$\\mathcal{R}$$ ) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR15","unstructured":"N. D. Jones and H. S\u00f8ndergaard. A semantics-based framework for the abstract interpretation of Prolog. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, pages 123\u2013142. Ellis Horwood Ltd, 1987."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"B. Le Charlier and P. Van Hentenryck. Groundness analysis for Prolog: Implementation and evaluation of the domain prop. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 99\u2013110. ACM Press, 1993.","DOI":"10.1145\/154630.154641"},{"key":"8_CR17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"C. Mellish","year":"1985","unstructured":"C. Mellish. Some global optimizations for a Prolog compiler. Journal of Logic Programming, 2:43\u201366, 1985.","journal-title":"Journal of Logic Programming"},{"key":"8_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat. Concurrent Constraint Programming. MIT Press Cambridge, Mass., 1993."},{"issue":"3","key":"8_CR19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0743-1066(94)00029-6","volume":"23","author":"P. Hentenryck Van","year":"1995","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Evaluation of the domain PROP. Journal of Logic Programming, 23(3):237\u2013278, June 1995. Extended version of [16].","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:36:21Z","timestamp":1619559381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}