{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:57Z","timestamp":1725663957678},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578772"},{"type":"electronic","value":"9783540483717"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57877-3_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:34:57Z","timestamp":1330245297000},"page":"172-187","source":"Crossref","is-referenced-by-count":0,"title":["On the implementation of abstract interpretation systems for (constraint) Logic Programs"],"prefix":"10.1007","author":[{"given":"Gerda","family":"Janssens","sequence":"first","affiliation":[]},{"given":"Wim","family":"Simoens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BF00289509","volume":"1","author":"R. Bayer","year":"1972","unstructured":"R. Bayer. Symmetric binary B-trees: Data structure and maintenance. Acta Informatica, 1:290\u2013306, 1972.","journal-title":"Acta Informatica"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91\u2013124, Feb. 1991.","journal-title":"Journal of Logic Programming"},{"key":"12_CR3","first-page":"114","volume-title":"Proceedings of the 1993 International Logic Programming Symposium","author":"M. Codish","year":"1993","unstructured":"M. Codish and B. Demoen. Analysing Logic Programs Using \u201cProp\u201d-ositional Logic Programs and a Magic Wand. In D. Miller, editor. Proceedings of the 1993 International Logic Programming Symposium, pages 114\u2013129, Vancouver, October 1993. MIT Press."},{"issue":"7","key":"12_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"30","author":"J. Cohen","year":"1990","unstructured":"J. Cohen. Constraint logic programming languages. Communications of the ACM, 30(7):52\u201368, 1990.","journal-title":"Communications of the ACM"},{"issue":"7","key":"12_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"30","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer. An introduction to PROLOGIII. Communications of the ACM, 30(7):69\u201396, 1990.","journal-title":"Communications of the ACM"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science 714","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-57186-8_72","volume-title":"Programming Language Implementation and Logic Programming","author":"M.-M. Corsini","year":"1993","unstructured":"M.-M. Corsini, K. Musumbu, A. Rauzy, and B. Le Charlier. Efficient Bottom-up Abstract Interpretation of Prolog by means of Constraint Solving over Symbolic Finite Domains. In M. Bruynooghe and J. Penjam, editors, Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science 714, pages 75\u201391, Tallinn, Estonia, 1993. Springer Verlag."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the Fourth ACM Symposium on Principles of Programming Languages, pages 238\u2013252, Los Angeles, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","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 application to logic programs. The Journal of Logic Programming, 13(2 and 3):103\u2013179, 1992.","journal-title":"The Journal of Logic Programming"},{"key":"12_CR9","unstructured":"M. G. de la Banda and M. Hermenegildo. A Practical Approach to the Global Analysis of CLP Programs. In D. Miller, editor, Proceedings of the 1993 International Logic Programming Symposium, pages 437\u2013455. MIT Press, October 1993."},{"key":"12_CR10","unstructured":"V. Dumortier and G. Janssens. Towards a Practical Full Mode Inference System for CLP(H,N). Technical Report CW185, Department of Computer Science, Katholieke Universiteit Leuven, Dec. 1993."},{"key":"12_CR11","unstructured":"V. Dumortier, G. Janssens, and M. Bruynooghe. Detection of Free Variables in the Presence of Numeric Constraints. In Proceedings of JICSLP'92 Post-conference workshop on CLP, pages 105\u2013118, 1992."},{"key":"12_CR12","unstructured":"V. Dumortier, G. Janssens, M. Bruynooghe, and M. Codish. Freeness Analysis in the Presence of Numerical Constraints. In D. S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 100\u2013115. MIT Press, June 1993."},{"key":"12_CR13","first-page":"311","volume-title":"LNCS","author":"V. Englebert","year":"1992","unstructured":"V. Englebert, B. Le Charlier, D. Roland, and P. Van Hentenryck. Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP 92), pages 311\u2013325, Leuven, 1992. LNCS, Springer Verlag. Also in Software Practice and Experience, Volume 23 No. 4 pp. 419\u2013460, 1993."},{"key":"12_CR14","first-page":"64","volume-title":"A generic abstract interpretation algorithm and its complexity analysis (extended abstract)","author":"B. Charlier Le","year":"1991","unstructured":"B. Le Charlier, K. Musumbu, and P. Van Hentenryck. A generic abstract interpretation algorithm and its complexity analysis (extended abstract). In K. Furukawa, editor, Proceedings of the Eighth International Conference on Logic Programming, pages 64\u201378, Paris, 1991. MIT Press, Cambridge."},{"key":"12_CR15","first-page":"750","volume-title":"Reexecution in abstract interpretation of prolog (extended abstract)","author":"B. Charlier Le","year":"1992","unstructured":"B. Le Charlier and P. Van Hentenryck. Reexecution in abstract interpretation of prolog (extended abstract). In K. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 750\u2013764, Washington, 1992. MIT Press, Cambridge."},{"key":"12_CR16","first-page":"99","volume-title":"Groundness Analysis for Prolog: Implementation and Evaluation of the Domain Prop","author":"B. Charlier Le","year":"1993","unstructured":"B. Le Charlier and P. Van Hentenryck. Groundness Analysis for Prolog: Implementation and Evaluation of the Domain Prop. In D. Schmidt, editor, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPMA'93, pages 99\u2013110, Copenhagen, Denmark, 1993. ACM Press."},{"key":"12_CR17","first-page":"33","volume-title":"The impact of abstract interpretation: An experiment in code generation","author":"A. Mari\u00ebn","year":"1989","unstructured":"A. Mari\u00ebn, G. Janssens, A. Mulkers, and M. Bruynooghe. The impact of abstract interpretation: An experiment in code generation. In G. Levi and M. Martelli, editors, Proceedings of the Sixth International Conference on Logic Programming, pages 33\u201347, Lisbon, 1989. MIT Press, Cambridge."},{"key":"12_CR18","volume-title":"Technical Report ACT-DC-153-90","author":"K. Muthukumar","year":"1990","unstructured":"K. Muthukumar and M. Hermenegildo. Deriving A Fixpoint Computation Algorithm for Top-Down Abstract Interpretation of Logic Programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, Apr. 1990."},{"issue":"2&3","key":"12_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"K. Muthukumar and M. Hermenegildo. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming, 13(2&3):315\u2013347, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"J. Tan and I. Lin. Compiling Dataflow Analysis of Logic Programs. In ACM SIGPLAN'92 PLDI, pages 106\u2013115, 1992.","DOI":"10.1145\/143095.143123"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"P. Van Roy and A. M. Despain. High-Performance logic programming with the Aquarius Prolog compiler. IEEE Computer, pages 54\u201367, Jan. 1992.","DOI":"10.1109\/2.108055"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57877-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:09:27Z","timestamp":1619557767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57877-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578772","9783540483717"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-57877-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}