PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Journal of the ACM (JACM)
Program Construction, International Summer Schoo
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Report on an implementation of a semi-inverter
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Partial inversion of constructor term rewriting systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Semi-inversion of guarded equations
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Completion after Program Inversion of Injective Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
Proving injectivity of functions via program inversion in term rewriting
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
| Hi-index | 0.00 |
Semi-inversion is a generalisation of inversion: A semi-inverse of a program takes some of the inputs and outputs of the original programand returns the remaining inputs and outputs. Previous papers by the author have described semi-inversion for a first-order functional language. We now extend semi-inversion to handle functions as parameters. We start by summarising the steps of the semi-inversion transformation for first-order functional languages and then describes how these steps can be extended to handle functions as parameters and illustrate this by a running example. It turns out that, even with the fairly modest extension of the language, the resequentialisation step of the semi-inversion transformation is considerably complicated. We conclude by comparison with related work and discussion of future developments.