From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Principles of inverse computation and the Universal resolving algorithm
The essence of computation
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
| Hi-index | 0.00 |