Revisiting an automatic program inverter for Lisp

ACM SIGPLAN Notices

Volumn 40, Issue 5, 2005, Pages 8-17

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

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; HEURISTIC METHODS; PROGRAM COMPILERS; SEMANTICS;

AUTOMATIC PROGRAM INVERTER; EQUATION-ORIENTED TRANSFORMATION; FIRST-ORDER FUNCTIONAL PROGRAMS; POSTCONDITION INFERENCE HEURISTICS;

LISP (PROGRAMMING LANGUAGE);

EID: 32144458139     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1071221.1071222     Document Type: Article

References (22)

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. C. H. Bennet. Logical reversibility of computation. IBM Journal of Research and Development, 17(6):525-532, 1973.
3. B. Biswas, R. Mall. Reverse execution of programs. SIGPLAN Notices, 34(4):61-69, 1999.
4. J. S. Briggs. Generating reversible programs. Software Practice and Experience, 17:439-453, 1987.
5. H. Buhrman, J. Tromp, P. Vitányi. Time and space bounds for reversible simulation. In F. Orejas, P. G. Spirakis, J. van Leeuwen (eds.), Automata, Languages and Programming. Proceedings, LNCS 2076, 1017-1027. Springer-Verlag, 2001.
6. W. Chen, J. T. Udding. Program inversion: More than fun! Science of Computer Programming, 15:1-13, 1990.
7. J. Darlington. An experimental program transformation and synthesis system. Artificial Intelligence, 16(1):1-46, 1981.
8. E. W. Dijkstra. Program inversion. In F. L. Bauer, M. Broy (eds.), Program Construction: International Summer School, LNCS 69, 54-57. Springer-Verlag, 1978.
9. D. Eppstein. A heuristic approach to program inversion. In International Joint Conference on Artificial Intelligence (IJCAI-85), 219-221. Morgan Kaufmann, Inc., 1985.
10. R. P. Feynman. Feynman Lectures on Computation. Addison-Wesley, 1996. Edited by A.J.G. Hey and R.W. Allen.
11. R. W. Floyd. Nondeterministic algorithms. Journal of the ACM, 14(4):636-644, 1967.
12. R. Glück, M. Kawabe. A program inverter for a functional language with equality and constructors. In A. Ohori (ed.), Programming Languages and Systems. Proceedings, LNCS 2895, 246-264. Springer-Verlag, 2003.
13. R. Glück, M. Kawabe. Derivation of deterministic inverse programs based on LR, parsing. In Y. Kameyama, P. J. Stuckey (eds.), Functional and Logic Programming. Proceedings, LNCS 2998, 291-306. Springer-Verlag, 2004.
14. R. Glück, Y. Kawada, T. Hashimoto. Transforming interpreters into inverse interpreters by partial evaluation. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 10-19. ACM Press, 2003.
15. D. Gries. The Science of Programming, chapter 21 Inverting Programs, 265-274. Texts and Monographs in Computer Science. Springer-Verlag, 1981.
16. Z. Hu, S.-C. Mu, M. Takeichi. A programmable editor for developing structured documents based on bidirectional transformations. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 178-189. ACM Press, 2004.
17. R. E. Korf. Inversion of applicative programs. In International Joint Conference on Artificial Intelligence (IJCAI-81), 1007-1009. William Kaufmann, Inc., 1981.
18. 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.
19. S.-C. Mu, Z. Hu, M. Takeichi. An injective language for reversible computation. In D. Kozen (ed.), Mathematics of Program Construction. Proceedings, LNCS 3125, 289-313. Springer-Verlag, 2004.
20. M. D. Peters, C. D. Carothers. An algorithm for fully reversible optimistic parallel simulation. In S. Chick, et al. (eds.), Proceedings of the 2003 Winter Simulation Conference, 864-871, 2003.
21. T. Toffoli. Reversible computing. In J. W. de Bakker, J. van Leeuwen (eds.), Automata, Languages and Programming. Proceedings, LNCS 85, 632-644. Springer-Verlag, 1980.
22. J. L. A. van de Snepscheut. Inversion of a recursive tree traversal. Information Processing Letters, 39(5):265-267, 1991.