{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:10Z","timestamp":1747548370333},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:11Z","timestamp":1330280051000},"page":"222-239","source":"Crossref","is-referenced-by-count":5,"title":["An optimizing compiler for CLP(\u211b)"],"prefix":"10.1007","author":[{"given":"Andrew D.","family":"Kelly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Macdonald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"S\u00f8ndergaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland H. C.","family":"Yap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"14_CR2","unstructured":"T. Armstrong, K. Marriott, P. Schachte and H. S\u00f8ndergaard. Boolean functions for dependency analysis: Algebraic properties and efficient representation. In B. Le Charlier, editor, Static Analysis: Proc. First Int. Symp. (Lecture Notes in Computer Science 864), pages 266\u2013280. Springer-Verlag, 1994."},{"key":"14_CR3","unstructured":"F. Bueno, M. Garc\u00eda de la Banda and M. Hermenegildo. Effectiveness of global analysis in strict independence-based automatic parallelization. In Logic Programming: Proc. 1994 Int. Symp., pages 320\u2013336. MIT Press, 1994."},{"key":"14_CR4","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 Proc. Fourth Ann. ACM Symp. Principles of Programming Languages, pages 238\u2013252. ACM Press, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"14_CR5","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. Journal of Logic Programming 13 (2 & 3): 103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. Debray","year":"1989","unstructured":"S. Debray. Static inference of modes and data dependencies in logic programs. ACM Transactions on Programming Languages and Systems 11 (3): 418\u2013450, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher. Constraint logic programming: A survey. Journal of Logic Programming 19\/20: 503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"J. Jaffar, S. Michaylov, P. Stuckey and R. Yap. An abstract machine for CLP(\u211b). Proc. ACM Conf. Programming Language Design and Implementation, pages 128\u2013139. ACM Press, 1992.","DOI":"10.1145\/143095.143127"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","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(\u211b) 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":"14_CR10","unstructured":"N. J\u00f8rgensen, K. Marriott and S. Michaylov. Some global compile-time optimizations for CLP(\u211b). In V. Saraswat and K. Ueda, editors, Logic Programming: Proc. 1991 Int. Symp., pages 420\u2013434. MIT Press, 1991."},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"B. Le Charlier and P. Van Hentenryck. Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ACM Transactions on Programming Languages and Systems 16 (1): 35\u2013101, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR12","unstructured":"A. Macdonald, P. Stuckey and R. Yap. Redundancy of variables in CLP(\u211b). In Logic Programming: Proc. 1993 Int. Symp., pages 75\u201393. MIT Press, 1993."},{"key":"14_CR13","unstructured":"K. Marriott and H. S\u00f8ndergaard. Analysis of constraint logic programs. In S. Debray and M. Hermenegildo, Logic Programming: Proc. North American Conf. 1990, pages 531\u2013547. MIT Press, 1990."},{"key":"14_CR14","unstructured":"K. Marriott, H. S\u00f8ndergaard, P. Stuckey and R. Yap. Optimizing compilation for CLP(\u211b). In G. Gupta, editor, Proc. Seventeenth Australian Computer Science Conf., Australian Computer Science Comm. 16 (1): 551\u2013560, 1994."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. Stuckey. The 3 R's of optimizing constraint logic programs: Refinement, removal and reordering. Proc. Twentieth ACM Symp. Principles of Programming Languages, pages 334\u2013344. ACM Press, 1993.","DOI":"10.1145\/158511.158685"},{"issue":"2","key":"14_CR16","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, 1992.","journal-title":"Journal of Logic Programming"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"H. S\u00f8ndergaard. An application of abstract interpretation of logic programs: Occur check reduction. In B. Robinet and R. Wilhelm, editors, Proc. ESOP 86 (Lecture Notes in Computer Science 213), pages 327\u2013338. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16442-1_25"},{"key":"14_CR18","unstructured":"A. Taylor. LIPS on a MIPS: Results from a Prolog compiler for a RISC. In D. Warren and P. Szeredi, editors, Logic Programming: Proc. Seventh Int. Conf., pages 174\u2013185. MIT Press, 1990."},{"key":"14_CR19","unstructured":"P. van Roy and A. Despain. The benefits of global dataflow analysis for an optimizing Prolog compiler. In S. Debray and M. Hermenegildo, editors, Logic Programming: Proc. North American Conf. 1990, pages 501\u2013515. MIT Press, 1990."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:50Z","timestamp":1619573810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}