{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:58Z","timestamp":1725542938874},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540377566"},{"type":"electronic","value":"9783540377580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11823230_8","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:46:30Z","timestamp":1155822390000},"page":"107-126","source":"Crossref","is-referenced-by-count":9,"title":["Abstract Interpretation with Specialized Definitions"],"prefix":"10.1007","author":[{"given":"Germ\u00e1n","family":"Puebla","sequence":"first","affiliation":[]},{"given":"Elvira","family":"Albert","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11680093_8","volume-title":"Logic Based Program Synthesis and Transformation","author":"E. Albert","year":"2006","unstructured":"Albert, E., Puebla, G., Gallagher, J.P.: Non-leftmost unfolding in partial evaluation of logic programs with impure predicates. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 115\u2013132. Springer, Heidelberg (2006)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming\u00a010, 91\u2013124 (1991)","journal-title":"Journal of Logic Programming"},{"key":"8_CR3","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The Ciao Prolog System. Reference Manual (v1.8). The Ciao System Documentation Series\u2013TR CLIP4\/2002.1, School of Computer Science, Technical University of Madrid (UPM) (May 2002), System and on-line version of the manual available at: \n                    \n                      http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/169683.174155","volume":"15","author":"C. Consel","year":"1993","unstructured":"Consel, C., Koo, S.C.: Parameterized partial deduction. ACM Transactions on Programming Languages and Systems\u00a015(3), 463\u2013493 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/503272.503290","volume-title":"POPL 2002","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Systematic Design of Program Transformation Frameworks by Abstract Interpretation. In: POPL 2002, pp. 178\u2013190. ACM, New York (2002)"},{"issue":"2&3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0743-1066(99)00030-8","volume":"41","author":"D. Schreye De","year":"1999","unstructured":"De Schreye, D., Gl\u00fcck, R., J\u00f8rgensen, J., Leuschel, M., Martens, B., S\u00f8rensen, M.H.: Conjunctive Partial Deduction: Foundations, Control, Algorihtms, and Experiments. Journal of Logic Programming\u00a041(2&3), 231\u2013277 (1999)","journal-title":"Journal of Logic Programming"},{"issue":"2\u20133","key":"8_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF03037136","volume":"6","author":"J. Gallagher","year":"1988","unstructured":"Gallagher, J., Codish, M., Shapiro, E.: Specialisation of Prolog and FCP Programs Using Abstract Interpretation. NGC\u00a06(2\u20133), 159\u2013186 (1988)","journal-title":"NGC"},{"issue":"2,3","key":"8_CR9","first-page":"143","volume":"14","author":"J.P. Gallagher","year":"2001","unstructured":"Gallagher, J.P., Peralta, J.C.: Regular tree languages as an abstract domain in program specialisation. HOSC\u00a014(2,3), 143\u2013172 (2001)","journal-title":"HOSC"},{"key":"8_CR10","unstructured":"Gallagher, J.P.: Static Analysis for Logic Program Specialization. In: Workshop on Static Analysis WSA 1992, pp. 285\u2013294 (1992)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/154630.154640","volume-title":"Proc. of PEPM 1993","author":"J.P. Gallagher","year":"1993","unstructured":"Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proc. of PEPM 1993, pp. 88\u201398. ACM Press, New York (1993)"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Constraint Logic Programs. ACM TOPLAS\u00a022(2), 187\u2013223 (2000)","journal-title":"ACM TOPLAS"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","first-page":"396","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"N.D. Jones","year":"1996","unstructured":"Jones, N.D.: Combining Abstract Interpretation and Partial Evaluation. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, pp. 396\u2013405. Springer, Heidelberg (1996)"},{"key":"8_CR14","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, New York (1993)"},{"key":"8_CR15","unstructured":"Leuschel, M.: Program Specialisation and Abstract Interpretation Reconciled. In: Joint International Conference and Symposium on Logic Programming (June 1998)"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/982158.982159","volume":"26","author":"M. Leuschel","year":"2004","unstructured":"Leuschel, M.: A framework for the integration of partial evaluation and abstract interpretation of logic programs. ACM TOPLAS\u00a026(3), 413\u2013463 (2004)","journal-title":"ACM TOPLAS"},{"issue":"4 & 5","key":"8_CR17","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S147106840200145X","volume":"2","author":"M. Leuschel","year":"2002","unstructured":"Leuschel, M., Bruynooghe, M.: Logic program specialisation through partial deduction: Control issues. Theory and Practice of Logic Programming\u00a02(4 & 5), 461\u2013515 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-61756-6_82","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Leuschel","year":"1996","unstructured":"Leuschel, M., De Schreye, D.: Logic program specialisation: How to be more specific. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, pp. 137\u2013151. Springer, Heidelberg (1996)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45607-4_6","volume-title":"Logic Based Program Synthesis and Transformation","author":"M.A. Leuschel","year":"2002","unstructured":"Leuschel, M.A., Gruner, S.: Abstract conjunctive partial deduction using regular types and its application to model checking. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.\u00a02372, p. 91. Springer, Heidelberg (2002)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer, Heidelberg (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3\u20134","key":"8_CR21","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial Evaluation in Logic Programming. Journal of Logic Programming\u00a011(3\u20134), 217\u2013242 (1991)","journal-title":"Journal of Logic Programming"},{"key":"8_CR22","first-page":"49","volume-title":"1991 International Conference on Logic Programming","author":"K. Muthukumar","year":"1991","unstructured":"Muthukumar, K., Hermenegildo, M.: Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In: 1991 International Conference on Logic Programming, pp. 49\u201363. MIT Press, Cambridge (1991)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/3-540-61739-6_47","volume-title":"Static Analysis","author":"G. Puebla","year":"1996","unstructured":"Puebla, G., Hermenegildo, M.: Optimized Algorithms for the Incremental Analysis of Logic Programs. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 270\u2013284. Springer, Heidelberg (1996)"},{"issue":"2&3","key":"8_CR24","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/S0743-1066(99)00031-X","volume":"41","author":"G. Puebla","year":"1999","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Multiple Specialization and its Application to Program Parallelization. JLP\u00a041(2&3), 279\u2013316 (1999)","journal-title":"JLP"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/777388.777393","volume-title":"Proc. of Pepm 2003","author":"G. Puebla","year":"2003","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Specialization and its Applications. In: Proc. of PEPM 2003, pp. 29\u201343. ACM Press, New York (invited talk, 2003)"},{"key":"8_CR26","series-title":"BRISC Series","first-page":"75","volume-title":"PEPM 1999","author":"G. Puebla","year":"1999","unstructured":"Puebla, G., Hermenegildo, M., Gallagher, J.: An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. In: PEPM 1999. BRISC Series, vol.\u00a0NS-99-1, pp. 75\u201385. Univ. of Aarhus, Denmark (1999)"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45789-5_10","volume-title":"Static Analysis","author":"C. Vaucheret","year":"2002","unstructured":"Vaucheret, C., Bueno, F.: More precise yet efficient type inference for logic programs. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 102\u2013116. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11823230_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:31:09Z","timestamp":1619508669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11823230_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540377566","9783540377580"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11823230_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}