Synthesis of functions by transformations and constraints (poster)

Authors:
Cristóbal Pareja-Flores;J. Ángel Velázquez-Iturbide
Affiliations:
Univ. Complutense de Madrid;Univ. Politécnica de Madrid
Venue:
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Year:
1997

Inverting Functions as Folds

MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Theory and applications of inverting functions as folds

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Automatic partial inversion of inductively sequential functions

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages

Hi-index	0.00