Automatic partial inversion of inductively sequential functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4449 LNCS, Issue , 2007, Pages 253-270

  Almendros Jiménez, Jesús M ^a   Vidal, Germán ^b  

^a UNIVERSITY OF ALMERÍA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL TRANSFORMATIONS;

AUTOMATIC PARTIAL INVERSION; SEQUENTIAL FUNCTIONS; TRANSFORMATION TOOL;

FUNCTIONAL PROGRAMMING;

EID: 38049186753     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74130-5_15     Document Type: Conference Paper

References (19)

1. Antoy, S.: Definitional trees. In: Kirchner, H., Levi, G. (eds.) Algebraic and Logic Programming. LNCS, vol. 632, pp. 143-157. Springer, Heidelberg (1992)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Danvy, O., Schultz, U.P.: Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming, 2004 (2004)
4. Hanus, M. (ed.): Curry: An Integrated Functional Logic Language Available at:http://www.informatik.uni-kiel.de/∼mh/curry/
5. Fischbach, A., Hannan, J.: Specification and correctness of lambda lifting. J. Funct. Program. 13(3), 509-543 (2003)
6. Glück, R., Kawabe, M.: A Program Inverter for a Functional Language with Equality and Constructors. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol. 2895, pp. 246-264. Springer, Heidelberg (2003)
7. Glück, R., Kawabe, M.: Derivation of deterministic inverse programs based on LR parsing. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 291-306. Springer, Heidelberg (2004)
8. Harrison, P.G.: Function Inversion. In: Proc. of Int'l Workshop on Partial Evaluation and Mixed Computation, pp. 153-166. North-Holland, Amsterdam (1988)
9. Johnsson, T.: Lambda Lifting: Transforming Programs to Recursive Equations. In: Jouannaud, J.-P. (ed.) Functional Programming Languages and Computer Architecture(Nancy,France). LNCS, vol. 201, pp. 190-203. Springer, Heidelberg (1985)
10. Khoshnevisan, H., Sephton, K.M.: InvX: An Automatic Function Inverter. In: Dershowitz, N. (ed.) Rewriting Techniques and Applications. LNCS, vol. 355, pp. 564-568. Springer, Heidelberg (1989)
11. Marchiori, M.: Unraveling and Ultraproperties. In: Hanus, M., Rodriguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol. 1139, pp. 107-121. Springer, Heidelberg (1996)
12. Mogensen, T./E.: Semi-inversion of Guarded Equations. In: Glück, R., Lowry, M. (eds.), Proc. of the 4th Int'l Conf. on Generative Programming and Component Engineering (GPCE'05), LNCS 3676, pp. 189-204. Springer (2005)
13. Morazán, M.T., Mucha, B.: Improved Graph-Based Lambda Lifting. In: Proc. of the Int'l Conf. on Software Engineering Research and Practice (SERP'06), pp. 896-902. CSREA Press (2006)
14. Mu, S.-C.: A Calculational Approach to Program Inversion. PhD thesis, Oxford University Computing Laboratory (2003)
15. Nishida, N., Sakai, M., Sakabe, T.: Partial Inversion of Constructor Term Rewriting Systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol. 3467, pp. 264-278. Springer, Heidelberg (2005)
16. Pareja-Flores, C., Velázquez-Iturbide, J.A.: Synthesis of Functions by Transformations and Constraints. In: Proc. of the Int'l Conf. on Functional Programming (ICFP'97), pp. 317-317. ACM Press, New York Poster (1997)
17. Romanenko, A.: Inversion and metacomputation. In: Partial Evaluation and Semantics-Based Program Manipulation, Sigplan Notices, vol. 26(9), pp. 12-22. ACM, New York (1991)
18. Slagle, J.R.: Automated Theorem-Proving for Theories with Simplifiers, Commutativity and Associativity. Journal of the ACM 21(4), 622-642 (1974)
19. 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'87), pp. 307-313. ACM Press, New York (1987)