Derivation of Deterministic Inverse Programs Based on LR Parsing

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

Volumn 2998, Issue , 2004, Pages 291-306

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

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CONTEXT FREE GRAMMARS; FORMAL LANGUAGES; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING;

APPLICATION RANGE; AUTOMATIC PROGRAMS; FUNCTIONAL PROGRAMS; LR PARSING; NON-DETERMINISM; PROGRAM INVERSION; RUN-LENGTH ENCODING;

INVERSE PROBLEMS;

EID: 32144457261     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24754-8_21     Document Type: Article

References (17)

1. S. M. Abramov, R. Glück. Principles of inverse computation and the universal resolving algorithm. In T. /E. 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. A. V. Aho, R. Sethi, J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
4. R. Bird, O. de Moor. Algebra of Programming. Prentice Hall International Series in Computer Science. Prentice Hall, 1997.
5. J. Darlington. An experimental program transformation and synthesis system. Artificial Intelligence, 16(l):l-46, 1981.
6. E. W. Dijkstra. Program inversion. In F. L. Bauer, M. Broy (eds.), Program Construction: International Summer School, LNCS 69, 54-57. Springer-Verlag, 1978.
7. D. Eppstein. A heuristic approach to program inversion. In Int. Joint Conference on Artificial Intelligence (IJCAI-85), 219-221. Morgan Kaufmann, Inc., 1985.
8. 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.
9. 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.
10. 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.
11. D. Gries. The Science of Programming, chapter 21 Inverting Programs, 265-274. Texts and Monographs in Computer Science. Springer-Verlag, 1981.
12. H. Khoshnevisan, K. M. Sephton. InvX: An automatic function inverter. In N. Dershowitz (ed.), Rewriting Techniques and Applications. Proceedings, LNCS 355, 564568. Springer-Verlag, 1989.
13. R. E. Korf. Inversion of applicative programs. In Int. Joint Conference on Artificial Intelligence (IJCAI-81), 1007-1009. William Kaufmann, Inc., 1981.
14. 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.
15. A. P. Nemytykh, V. A. Pinchuk. Program transformation with metasystem transitions: experiments with a supercompiler. In D. Bjorner, M. Broy, I. V. Pottosin (eds.), Perspectives of System Informatics. Proceedings, LNCS 1181, 249-260. Springer-Verlag, 1996.
16. 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.
17. V. F. Turchin. Program transformation with metasystem transitions. Journal of Functional Programming, 3(3):283-313, 1993.