{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:13Z","timestamp":1725512233114},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_6","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"27-40","source":"Crossref","is-referenced-by-count":4,"title":["An Universal Resolving Algorithm for Inverse Computation of Lazy Languages"],"prefix":"10.1007","author":[{"given":"Sergei","family":"Abramov","sequence":"first","affiliation":[]},{"given":"Robert","family":"Gl\u00fcck","sequence":"additional","affiliation":[]},{"given":"Yuri","family":"Klimov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","first-page":"31","volume":"3","author":"S.M. Abramov","year":"1991","unstructured":"Abramov, S.M.: Metavychislenija i logicheskoe programmirovanie (Metacomputation and logic programming) (In Russian). Programmirovanie\u00a03, 31\u201344 (1991)","journal-title":"Programmirovanie"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/10722010_13","volume-title":"Mathematics of Program Construction","author":"S.M. Abramov","year":"2000","unstructured":"Abramov, S.M., Gl\u00fcck, R.: The universal resolving algorithm: inverse computation in a functional language. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 187\u2013212. Springer, Heidelberg (2000)"},{"issue":"2-3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0167-6423(02)00023-0","volume":"43","author":"S.M. Abramov","year":"2002","unstructured":"Abramov, S.M., Gl\u00fcck, R.: The universal resolving algorithm and its correctness: inverse computation in a functional language. Science of Computer Programming\u00a043(2-3), 193\u2013229 (2002)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF03037257","volume":"20","author":"E. Albert","year":"2002","unstructured":"Albert, E., Vidal, G.: The narrowing-driven approach to functional logic program specialization. New Generation Computing\u00a020(1), 3\u201326 (2002)","journal-title":"New Generation Computing"},{"key":"6_CR5","first-page":"391","volume-title":"Formal Description of Programming Concepts","author":"A.P. Ershov","year":"1978","unstructured":"Ershov, A.P.: On the essence of compilation. In: Neuhold, E. (ed.) Formal Description of Programming Concepts, pp. 391\u2013420. North-Holland, Amsterdam (1978)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/3-540-57264-3_34","volume-title":"Static Analysis","author":"R. Gl\u00fcck","year":"1993","unstructured":"Gl\u00fcck, R., Klimov, A.V.: Occam\u2019s razor in metacomputation: the notion of a perfect process tree. In: Cousot, P., et al. (eds.) WSA 1993. LNCS, vol.\u00a0724, pp. 112\u2013123. Springer, Heidelberg (1993)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-58402-1_13","volume-title":"Programming Language Implementation and Logic Programming","author":"R. Gl\u00fcck","year":"1994","unstructured":"Gl\u00fcck, R., S\u00f8rensen, M.H.: Partial deduction and driving are equivalent. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol.\u00a0844, pp. 165\u2013181. Springer, Heidelberg (1994)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19 & 20","author":"M. Hanus","year":"1994","unstructured":"Hanus, M.: The integration of functions into logic programming: from theory to practice. Journal of Logic Programming\u00a019 & 20, 583\u2013628 (1994)","journal-title":"Journal of Logic Programming"},{"key":"6_CR9","unstructured":"Hanus, M.: Curry: an integrated functional logic language (version 0.8). Report, University of Kiel (2003)"},{"issue":"5","key":"6_CR10","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1051\/ita\/1991250504451","volume":"25","author":"B. Hoffmann","year":"1991","unstructured":"Hoffmann, B., Plump, D.: Implementing term rewriting by jungle evaluation. Informatique Th\u00e9orique et Applications\/Theoretical Informatics and Applications\u00a025(5), 445\u2013472 (1991)","journal-title":"Informatique Th\u00e9orique et Applications\/Theoretical Informatics and Applications"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"Moreno-Navarro, J.J., Rodriguez-Artalejo, M.: Logic programming with functions and predicates: the language Babel. J. of Logic Programming\u00a012(3), 191\u2013223 (1992)","journal-title":"J. of Logic Programming"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45442-X_13","volume-title":"Mathematics of Program Construction","author":"S.-C. Mu","year":"2002","unstructured":"Mu, S.-C., Bird, R.: Inverting functions as folds. In: Boiten, E.A., M\u00f6ller, B. (eds.) MPC 2002. LNCS, vol.\u00a02386, pp. 209\u2013232. Springer, Heidelberg (2002)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/3-540-62064-8_21","volume-title":"Perspectives of System Informatics","author":"A.P. Nemytykh","year":"1996","unstructured":"Nemytykh, A.P., Pinchuk, V.A.: Program transformation with metasystem transitions: experiments with a supercompiler. In: Bjorner, D., Broy, M., Pottosin, I.V. (eds.) PSI 1996. LNCS, vol.\u00a01181, pp. 249\u2013260. Springer, Heidelberg (1996)"},{"key":"6_CR14","first-page":"427","volume-title":"Partial Evaluation and Mixed Computation","author":"A.Y. Romanenko","year":"1988","unstructured":"Romanenko, A.Y.: The generation of inverse functions in Refal. In: Bj\u00f8rner, D., Ershov, A.P., Jones, N.D. (eds.) Partial Evaluation and Mixed Computation, pp. 427\u2013444. North-Holland, Amsterdam (1988)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-44978-7_12","volume-title":"Programs as Data Objects","author":"J.P. Secher","year":"2001","unstructured":"Secher, J.P.: Driving in the jungle. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 198\u2013217. Springer, Heidelberg (2001)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-46562-6_10","volume-title":"Perspectives of System Informatics","author":"J.P. Secher","year":"2000","unstructured":"Secher, J.P., S\u00f8rensen, M.H.: On perfect supercompilation. In: Bjorner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol.\u00a01755, pp. 113\u2013127. Springer, Heidelberg (2000)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/503032.503036","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation","author":"J.P. Secher","year":"2002","unstructured":"Secher, J.P., S\u00f8rensen, M.H.: From checking to inference via driving and DAG grammars. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp. 41\u201351. ACM Press, New York (2002)"},{"key":"6_CR18","unstructured":"Turchin, V.F.: Equivalent transformations of recursive functions defined in Refal (In Russian). In: Tjeorija Jazykov i Mjetody Programmirovanija (Proceedings of the Symposium on the Theory of Languages and Programming Methods), Kiev-Alushta, USSR, pp. 31\u201342 (1972)"},{"issue":"3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V.F. Turchin","year":"1986","unstructured":"Turchin, V.F.: The concept of a supercompiler. ACM Transactions on Programming Languages and Systems\u00a08(3), 292\u2013325 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:07Z","timestamp":1605762667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_6","relation":{},"subject":[]}}