{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:55:36Z","timestamp":1725476136391},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540673545"},{"type":"electronic","value":"9783540455622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720076_8","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T15:06:39Z","timestamp":1167404799000},"page":"82-94","source":"Crossref","is-referenced-by-count":0,"title":["A Practical Approach for Logic Program Analysis and Transformation"],"prefix":"10.1007","author":[{"given":"Wamberto","family":"Weber-Vasconcelos","sequence":"first","affiliation":[]},{"given":"Eudenia","family":"Xavier Meneses","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"A\u00eft-Kaci, H.: Warren\u2019s Abstract Machine. MIT Press, USA (1991)"},{"key":"8_CR2","volume-title":"Apt. From Logic Programming to Prolog","author":"R. Krzysztof","year":"1997","unstructured":"Krzysztof, R.: Apt. From Logic Programming to Prolog. Prentice-Hall, U.K. (1997)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-49674-2_4","volume-title":"Logic Program Synthesis and Transformation","author":"E. Chasseur","year":"1998","unstructured":"Chasseur, E., Deville, Y.: Logic Program Schemas, Constraints and Semi- Unification. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol.\u00a01463, p. 69. Springer, Heidelberg (1998)"},{"key":"8_CR4","volume-title":"Proc. of LoPSTr 1991","author":"N.E. Fuchs","year":"1992","unstructured":"Fuchs, N.E., Fromherz, M.P.J.: Schema-Based Transformations of Logic Programs. In: Proc. of LoPSTr 1991, Springer, Heidelberg (1992)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. Huet","year":"1978","unstructured":"Huet, G., Lang, B.: Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica\u00a011, 31\u201355 (1978)","journal-title":"Acta Informatica"},{"doi-asserted-by":"crossref","unstructured":"Nielson, F.: Perspectives on Program Analysis. ACM Comp. Surv.\u00a028(4es) (1996)","key":"8_CR6","DOI":"10.1145\/242224.242441"},{"doi-asserted-by":"crossref","unstructured":"Paige, R.: Future Directions in Program Transformation. ACM Comp. Surv.\u00a028(4es) (1996)","key":"8_CR7","DOI":"10.1145\/242224.242444"},{"issue":"20","key":"8_CR8","first-page":"261","volume":"19","author":"M. Proietti","year":"1994","unstructured":"Proietti, M., Pettorossi, A.: Transformations of Logic Programs: Foundations and Techniques. J. Logic Progr.\u00a019(20), 261\u2013320 (1994)","journal-title":"J. Logic Progr."},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-49674-2_14","volume-title":"Logic Program Synthesis and Transformation","author":"J.D.C. Richardson","year":"1998","unstructured":"Richardson, J.D.C., Fuchs, N.E.: Development of correct transformation schemata for prolog programs. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol.\u00a01463, p. 263. Springer, Heidelberg (1998)"},{"key":"8_CR10","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)"},{"key":"8_CR11","series-title":"LNAI","volume-title":"Advances in Artificial Intelligence","author":"W.W. Vasconcelos","year":"1996","unstructured":"Vasconcelos, W.W., Arag\u00e3o, M.A., Fuchs, N.E.: Automatic Bottom-Up Analysis and Transformation of Logic Programs. In: Borges, D.L., Kaestner, C.A.A. (eds.) SBIA 1996. LNCS (LNAI), vol.\u00a01159, Springer, Heidelberg (1996)"},{"unstructured":"Vasconcelos, W.W., Arag\u00e3o, M.A.T.: Automatic Extraction of Logic Program Transformations from Examples. Tech. Rep., Available upon request (1999)","key":"8_CR12"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Program Synthesis and Transformation","author":"W.W. Vasconcelos","year":"1996","unstructured":"Vasconcelos, W.W., Fuchs, N.E.: An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol.\u00a01048. Springer, Heidelberg (1996)"},{"unstructured":"Zanutto, J.: Term Rewriting Systems: Theory and an Application. MSc Diss., IME. S\u00e3o Paulo Univ., Brazil(May 1999) (in Portuguese)","key":"8_CR14"}],"container-title":["Lecture Notes in Computer Science","MICAI 2000: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720076_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T15:16:15Z","timestamp":1587309375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720076_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673545","9783540455622"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10720076_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}