{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:39Z","timestamp":1762458579539},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741299"},{"type":"electronic","value":"9783540741305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74130-5_15","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T15:32:56Z","timestamp":1187019176000},"page":"253-270","source":"Crossref","is-referenced-by-count":10,"title":["Automatic Partial Inversion of Inductively Sequential Functions"],"prefix":"10.1007","author":[{"given":"Jes\u00fas M.","family":"Almendros-Jim\u00e9nez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0013825","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1992","unstructured":"Antoy, S.: Definitional trees. In: Kirchner, H., Levi, G. (eds.) Algebraic and Logic Programming. LNCS, vol.\u00a0632, pp. 143\u2013157. Springer, Heidelberg (1992)"},{"key":"15_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Danvy, O., Schultz, U.P.: Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming, 2004 (2004)","DOI":"10.7146\/brics.v11i12.21837"},{"key":"15_CR4","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language Available at: http:\/\/www.informatik.uni-kiel.de\/~mh\/curry\/"},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1017\/S0956796802004604","volume":"13","author":"A. Fischbach","year":"2003","unstructured":"Fischbach, A., Hannan, J.: Specification and correctness of lambda lifting. J. Funct. Program.\u00a013(3), 509\u2013543 (2003)","journal-title":"J. Funct. Program."},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-540-40018-9_17","volume-title":"Programming Languages and Systems","author":"R. Gl\u00fcck","year":"2003","unstructured":"Gl\u00fcck, R., Kawabe, M.: A Program Inverter for a Functional Language with Equality and Constructors. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol.\u00a02895, pp. 246\u2013264. Springer, Heidelberg (2003)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-24754-8_21","volume-title":"Functional and Logic Programming","author":"R. Gl\u00fcck","year":"2004","unstructured":"Gl\u00fcck, R., Kawabe, M.: Derivation of deterministic inverse programs based on LR parsing. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 291\u2013306. Springer, Heidelberg (2004)"},{"key":"15_CR8","first-page":"153","volume-title":"Proc. of Int\u2019l Workshop on Partial Evaluation and Mixed Computation","author":"P.G. Harrison","year":"1988","unstructured":"Harrison, P.G.: Function Inversion. In: Proc. of Int\u2019l Workshop on Partial Evaluation and Mixed Computation, pp. 153\u2013166. North-Holland, Amsterdam (1988)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnsson","year":"1985","unstructured":"Johnsson, T.: Lambda Lifting: Transforming Programs to Recursive Equations. In: Jouannaud, J.-P. (ed.) Functional Programming Languages and Computer Architecture(Nancy,France). LNCS, vol.\u00a0201, pp. 190\u2013203. Springer, Heidelberg (1985)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1007\/3-540-51081-8_139","volume-title":"Rewriting Techniques and Applications","author":"H. Khoshnevisan","year":"1989","unstructured":"Khoshnevisan, H., Sephton, K.M.: InvX: An Automatic Function Inverter. In: Dershowitz, N. (ed.) Rewriting Techniques and Applications. LNCS, vol.\u00a0355, pp. 564\u2013568. Springer, Heidelberg (1989)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-61735-3_7","volume-title":"Algebraic and Logic Programming","author":"M. Marchiori","year":"1996","unstructured":"Marchiori, M.: Unraveling and Ultraproperties. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 107\u2013121. Springer, Heidelberg (1996)"},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/11561347_14","volume-title":"Generative Programming and Component Engineering","author":"Torben \u00c6 Mogensen","year":"2005","unstructured":"Mogensen, T.\u00c6.: Semi-inversion of Guarded Equations. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 189\u2013204. Springer, Heidelberg (2005)"},{"key":"15_CR13","unstructured":"Moraz\u00e1n, M.T., Mucha, B.: Improved Graph-Based Lambda Lifting. In: Proc. of the Int\u2019l Conf. on Software Engineering Research and Practice (SERP 2006), pp. 896\u2013902. CSREA Press (2006)"},{"key":"15_CR14","unstructured":"Mu, S.-C.: A Calculational Approach to Program Inversion. PhD thesis, Oxford University Computing Laboratory (2003)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/978-3-540-32033-3_20","volume-title":"Term Rewriting and Applications","author":"N. Nishida","year":"2005","unstructured":"Nishida, N., Sakai, M., Sakabe, T.: Partial Inversion of Constructor Term Rewriting Systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"15_CR16","first-page":"317","volume-title":"Proc. of the Int\u2019l Conf. on Functional Programming (ICFP 1997)","author":"C. Pareja-Flores","year":"1997","unstructured":"Pareja-Flores, C., Vel\u00e1zquez-Iturbide, J.A.: Synthesis of Functions by Transformations and Constraints. In: Proc. of the Int\u2019l Conf. on Functional Programming (ICFP 1997), pp. 317\u2013317. ACM Press, New York (1997)"},{"key":"15_CR17","first-page":"12","volume-title":"Partial Evaluation and Semantics-Based Program Manipulation","author":"A. Romanenko","year":"1991","unstructured":"Romanenko, A.: Inversion and metacomputation. In: Partial Evaluation and Semantics-Based Program Manipulation, Sigplan Notices, vol.\u00a026(9), pp. 12\u201322. ACM, New York (1991)"},{"issue":"4","key":"15_CR18","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1145\/321850.321859","volume":"21","author":"J.R. Slagle","year":"1974","unstructured":"Slagle, J.R.: Automated Theorem-Proving for Theories with Simplifiers, Commutativity and Associativity. Journal of the ACM\u00a021(4), 622\u2013642 (1974)","journal-title":"Journal of the ACM"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1145\/41625.41653","volume-title":"Proc. of 14th ACM Symp. on Principles of Programming Languages (POPL 1987)","author":"P. Wadler","year":"1987","unstructured":"Wadler, P.: Views: A Way for Pattern Matching to Cohabit with Data Abstraction. In: Proc. of 14th ACM Symp. on Principles of Programming Languages (POPL 1987), pp. 307\u2013313. ACM Press, New York (1987)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74130-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:11:46Z","timestamp":1619518306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74130-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540741299","9783540741305"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74130-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}