A program inverter for a functional language with equality and constructors

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

Volumn 2895, Issue , 2003, Pages 246-264

  Glück, Robert ^a   Kawabe, Masahiko ^a  

^a WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; ELECTRIC INVERTERS; SOFTWARE TESTING;

AUTOMATIC DERIVATION; AUTOMATIC INVERSIONS; AUTOMATIC PROGRAMS; FUNCTIONAL LANGUAGES; PRIMITIVE FUNCTION; PROGRAM INVERSION; PROGRAM INVERTERS; RUN-LENGTH ENCODING;

FUNCTIONAL PROGRAMMING;

EID: 0345445933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40018-9_17     Document Type: Article

References (20)

1. S. M. Abramov, R. Glück. Principles of inverse computation and the universal resolving algorithm. In T. Æ. Mogensen, D. Schmidt, I. H. Sudborough (eds.), The Essence of Computation: Complexity, Analysis, Transformation, LNCS 2566, 269-295. Springer-Verlag, 2002.
2. S. M. Abramov, R. Glück. The universal resolving algorithm and its correctness: inverse computation in a functional language. Science of Computer Programming, 43(2-3):193-229, 2002.
3. R. Bird, O. de Moor. Algebra of Programming. Prentice Hall International Series in Computer Science. Prentice Hall, 1997.
4. J. S. Briggs. Generating reversible programs. Software Practice and Experience, 17:439-453, 1987.
5. C. D. Carothers, K. S. Perumalla, R. M. Fujimoto. Efficient optimistic parallel simulations using reverse computation. ACM TOMACS, 9(3):224-253, 1999.
6. J. Darlington. An experimental program transformation and synthesis system. Artificial Intelligence, 16(1):1-46, 1981.
7. E. W. Dijkstra. Program inversion. In F. L. Bauer, M. Broy (eds.), Program Construction: International Summer School, LNCS 69, 54-57. Springer-Verlag, 1978.
8. D. Eppstein. A heuristic approach to program inversion. In Int. Joint Conference on Artificial Intelligence (IJCAI-85), 219-221. Morgan Kaufmann, Inc., 1985.
9. R. Glück, Y. Kawada, T. Hashimoto. Transforming interpreters into inverse interpreters by partial evaluation. In Proceedings of the ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 10-19. ACM Press, 2003.
10. R. Glück, A. V. Klimov. Metacomputation as a tool for formal linguistic modeling. In R. Trappl (ed.), Cybernetics and Systems '94, Vol. 2, 1563-1570. World Scientific, 1994.
11. R. Glück, V. F. Turchin. Application of metasystem transition to function inversion and transformation. In Proceedings of the Int. Symposium on Symbolic and Algebraic Computation (ISSAC'90), 286-287. ACM Press, 1990.
12. D. Gries. The Science of Programming, chapter 21 Inverting Programs, 265-274. Texts and Monographs in Computer Science. Springer-Verlag, 1981.
13. H. Khoshnevisan, K. M. Sephton. InvX: An automatic function inverter. In N. Dershowitz (ed.), Rewriting Techniques and Applications. Proceedings, LNCS 355, 564-568. Springer-Verlag, 1989.
14. R. E. Korf. Inversion of applicative programs. In Int. Joint Conference on Artificial Intelligence (IJCAI-81), 1007-1009. William Kaufmann, Inc., 1981.
15. G. B. Leeman. A formal approach to undo operations in programming languages. ACM TOPLAS, 8(1):50-97, 1986.
16. S.-C. Mu, R. Bird. Inverting functions as folds. In E. A. Boiten, B. Möller (eds.), Mathematics of Program Construction. Proceedings, LNCS 2386, 209-232. Springer-Verlag, 2002.
17. A. P. Nemytykh, V. A. Pinchuk. Program transformation with metasystem transitions: experiments with a supercompiler. In D. Bjørner, M. Broy, I. V. Pottosin (eds.), Perspectives of System Informatics. Proceedings, LNCS 1181, 249-260. Springer-Verlag, 1996.
18. A. Y. Romanenko. Inversion and metacomputation. In Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 12-22. ACM Press, 1991.
19. M. H. Sørensen, R. Glück, N. D. Jones. A positive supercompiler. Journal of Functional Programming, 6(6):811-838, 1996.
20. V. F. Turchin. Program transformation with metasystem transitions. Journal of Functional Programming, 3(3):283-313, 1993.