The program inverter LRinv and its structure

Lecture Notes in Computer Science

Volumn 3350, Issue , 2005, Pages 219-234

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

^a WASEDA UNIVERSITY   (Japan)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; DECODING; IMAGE CODING;

FIRST-ORDER FUNCTIONAL LANGUAGES; PROGRAM INVERTERS; PROGRAM TRANSFORMATIONS; STACK-BASED LANGUAGES;

COMPUTER PROGRAMMING;

EID: 23944433470     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30557-6_17     Document Type: Conference Paper

References (17)

1. S. M. Abramov, R. Glück. Principles of inverse computation and the universal resolving algorithm. In T. JE. Mogensen, D. Schmidt, I. H. Sudborough (eds.), The Essence of Computation: Complexity, Analysis, Transformation, LNCS 2566, 269-295. Springer-Verlag, 2002.
2. R. Bird, O. de Moor. Algebra of Programming. Prentice Hall International Series in Computer Science. Prentice Hall, 1997.
3. E. W. Dijkstra. Program inversion. In F. L. Bauer, M. Broy (eds.), Program Construction: International Summer School, LNCS 69, 54-57. Springer-Verlag, 1978.
4. D. Eppstein. A heuristic approach to program inversion. In Int. Joint Conference on Artificial Intelligence (IJCAI-85), 219-221. Morgan Kaufmann, Inc., 1985.
5. R. W. Floyd. Nondeterministic algorithms. Journal of the ACM, 14(4):636-644, 1967.
6. 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.
7. 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.
8. 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.
9. D. Gries. The Science of Programming, chapter 21 Inverting Programs, 265-274. Texts and Monographs in Computer Science. Springer-Verlag, 1981.
10. 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.
11. 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.
12. D. E. Knuth. On the translation of languages from left to right. Information and Control, 8(6):607-639, 1965.
13. J. McCarthy. The inversion of functions defined by Turing machines. In C. E. Shannon, J. McCarthy (eds.), Automata Studies, 177-181. Princeton University Press, 1956.
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. 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.
16. A. Pettorossi, M. Proietti, S. Renault. Reducing nondeterminism while specializing logic programs. In Proceedings of the Twenty Fourth ACM Symposium on Principles of Programming Languages, 414-427. ACM Press, 1997.
17. D. A. Rosenblueth, J. C. Peralta. SLR inference an inference system for fixed-mode logic programs based on SLR parsing. Journal of Logic Programming, 34(3):227-259, 1998.