{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:04Z","timestamp":1725890884211},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_16","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"228-241","source":"Crossref","is-referenced-by-count":0,"title":["Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Anne","family":"Parrain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Devienne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Leb\u00e8gue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Trequasi: Un syst\u00e8me pour la transformation automatique de programmes Prolog r\u00e9cursifs en quasi-it\u00e9ratifs","author":"N Azibi","year":"1987","unstructured":"N. Azibi. TREQUASI: Un syst\u00e8me pour la transformation automatique de programmes Prolog r\u00e9cursifs en quasi-it\u00e9ratifs. PhD thesis, Universit\u00e9 de Paris-Sud, December 1987."},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0743-1066(87)90010-0","volume":"4","author":"DR Brough","year":"1987","unstructured":"D. R. Brough and C. J. logger. Compiling associativity into logic programs. The Journal of Logic Programming, 4 (4): 345\u2013360, December 1987.","journal-title":"The Journal of Logic Programming"},{"key":"16_CR3","first-page":"645","volume-title":"Proceedings of the North-American Conference on Logic Programming","author":"M Bugliesi","year":"1989","unstructured":"M. Bugliesi and F. Russo. Partial evaluation in prolog: some improvements about cut. In Proceedings of the North-American Conference on Logic Programming, pages 645\u2013660, 1989."},{"volume-title":"Logic Program Synthesis and Transformation","year":"1991","key":"16_CR4","unstructured":"T. Clement and K.-K. Lau, editors. Logic Program Synthesis and Transformation, Workshops in Computing, Manchester, July 1991. Springer-Verlag."},{"issue":"1","key":"16_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1051\/ita\/1988220100031","volume":"22","author":"JP Delahaye","year":"1988","unstructured":"J.-P. Delahaye. S\u00e9mantique logique et d\u00e9notationnelle des interpr\u00e9teurs Prolog. Informatique Th\u00e9orique et Applications, 22 (1): 3\u201342, 1988.","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"16_CR6","first-page":"229","volume-title":"Proceedings of the Second Workshop on Meta-Programming in Logic","author":"J Gallagher","year":"1990","unstructured":"J. Gallagher and M. Bruynooghe. Some low-level source transformations for logic programs. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-Programming in Logic, pages 229\u2013244, Leuven, Belgium, April 1990."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J Gallagher","year":"1991","unstructured":"J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. New Generation Computing, 9: 305\u2013333, 1991.","journal-title":"Generation Computing"},{"key":"16_CR8","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems, pages 413-421. ICOT","author":"T Kawamura","year":"1988","unstructured":"T. Kawamura and T. Kanamori. Preservation of stronger equivalence in unfold\/fold logic transformation. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 413\u2013421. ICOT, 1988."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"C. Lecoutre, P. Devienne, and P. Leb\u00e8gue. Abstract interpretation and recursive behaviour of logic programs In Clement and Lau [4], pages 147\u2013166.","DOI":"10.1007\/978-1-4471-3494-7_12"},{"key":"16_CR10","first-page":"353","volume-title":"Premi\u00e8res Journ\u00e9es Francophones sur la Programmation en Logique","author":"C Lecoutre","year":"1992","unstructured":"C. Lecoutre, P. Devienne, and P. Leb\u00e8gue. Termination induction by means of an abstract OLDT resolution. In J.-P. Delahaye, P. Devienne, P. Mathieu, and P. Yim, editors, Premi\u00e8res Journ\u00e9es Francophones sur la Programmation en Logique, pages 353\u2013373, Lille, May 1992."},{"key":"16_CR11","volume-title":"Springer Verlag","author":"JW Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of logic programming. Springer Verlag, 1987."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"A. Parrain, P. Devienne, and P. Leb\u00e8gue. Prolog program transformations and meta-interpreters. In Clement and Lau [4], pages 238\u2013251.","DOI":"10.1007\/978-1-4471-3494-7_17"},{"key":"16_CR13","volume-title":"Acm Symposium on Partial Evaluation and Semantics Based Program Manipulation","author":"M Proietti","year":"1991","unstructured":"M. Proietti and A. Pettorossi. Semantics preserving transformation rules for prolog. In ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, New-Haven, U.S.A., June 1991."},{"key":"16_CR14","volume-title":"An Automatic Partial Evaluator for Full Prolog. PhD thesis","author":"D Sahlin","year":"1991","unstructured":"D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, Swedish Institute of Computer Science, Stockholm, March 1991."},{"key":"16_CR15","volume-title":"S. ~. T\u00e4rnlund, editor, Second International Logic Programming Conference, pages 127-138, Uppsala","author":"H Tamaki","year":"1984","unstructured":"H. Tamaki and T. Sato. Unfold\/fold transformation of logic programs. In S. ~. T\u00e4rnlund, editor, Second International Logic Programming Conference, pages 127\u2013138, Uppsala, 1984."},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Proceedings of the Third International Conference on Logic Programming, Lecture Notes in Computer Science","author":"H Tamaki","year":"1986","unstructured":"H. Tamaki and T. Sato. OLD resolution with tabulation. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, Lecture Notes in Computer Science, pages 84\u201398, London, 1986. Springer-Verlag."}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T03:21:35Z","timestamp":1557458495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_16","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}