{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:04Z","timestamp":1725484804461},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_14","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:30:22Z","timestamp":1180575022000},"page":"131-139","source":"Crossref","is-referenced-by-count":3,"title":["A Theoretical Foundation of Program Synthesis by Equivalent Transformation"],"prefix":"10.1007","author":[{"given":"Kiyoshi","family":"Akama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidekatsu","family":"Koike","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Mabuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"issue":"2","key":"14_CR1","first-page":"90","volume":"12","author":"K. Akama","year":"1997","unstructured":"Akama, K., Shigeta, Y., and Miyamoto, E., A Framework ofProblem Solving by Equivalent Transformation of Logic Program, J. Japan Soc. Artif. Intell., Vol.12, No.2, pp.90\u201399 (1997).","journal-title":"J. Japan Soc. Artif. Intell."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Akama, K., Nantajeewarawat, E., and Koike, H., A Class of Rewriting Rules and Reverse Transformation for Rule-Based Equivalent Transformation, Proc. 2nd International Workshop on Rule-Based Programming, Firenze, Italy, 2001.","DOI":"10.1016\/S1571-0661(04)00291-9"},{"key":"14_CR3","unstructured":"Nantajeewarawat, E., Akama, K., and Koike, H., Expanding Transformation as a Basis for Correctness of Rewriting Rules, Tech. Report, Hokkaido University, 2001."},{"key":"14_CR4","first-page":"45","volume":"25","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., Partial Evaluation ofComputation Process-an Approach to a Compiler-Compiler. Systems. Computers. Controls. Vol.25. pp.45\u201350 (1971).","journal-title":"Systems. Computers. Controls"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations ofLogic Programming, Second edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"20","key":"14_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A. and Proietti, M., Transformation of Logic Programs: Foundations and Techniques, The Journal of Logic Programming, Vol.19\/20, pp.261\u2013320, (1994).","journal-title":"The Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:08:30Z","timestamp":1550365710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}