Report on an implementation of a semi-inverter

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

Volumn 4378 LNCS, Issue , 2007, Pages 322-334

  Mogensen, Torben Aegidius ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

INVERSE PROBLEMS; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

SEMI-INVERSION METHODS; SEMI-INVERTERS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 38049150846     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70881-0_28     Document Type: Conference Paper

References (16)

1. Anders Bondorf. Improving binding times without explicit CPS-conversion. In ACM Conference on Lisp and Functional Programming, pages 1-10. ACM Press, 1992.
2. Wei-Ngan Chin and Hu Zhenjiang. Towards a modular program derivation via fusion and tupling. In Proceedings of the first ACM SIGPLAN Conference on Generators and Components, pages 140-155. ACM Press, 2002.
3. Edsger W. Dijkstra. Program inversion. In F. L. Bauer and M. Broy, editors, Program Construction: International Summer School, LNCS 69, pages 54-57. Springer-Verlag, 1978.
4. Robert W. Floyd. Nondeterministic algorithms. J. ACM, 14(4):636-644, 1967.
5. Robert Glück. Jones optimality, binding-time improvements, and the strength of program specializers. In Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 9-19. ACM Press, 2002.
6. Robert Glück and Masahiko Kawabe. Derivation of deterministic inverse programs based on LR parsing. In Yukiyoshi Kameyama and Peter J. Stuckey, editors, Functional and Logic Programming. Proceedings, LNCS 2998, pages 291-306. Springer-Verlag, 2004.
7. Robert Glück, Youhei Kawada, and Takuya Hashimoto. Transforming interpreters into inverse interpreters by partial evaluation. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 10-19. ACM Press, 2003.
8. David Gries. The Science of Programming, chapter 21 Inverting Programs, pages 265-274. Texts and Monographs in Computer Science. Springer-Verlag, 1981.
9. Carsten Kehler Holst and John Hughes. Towards binding-time improvement for free. In [10], pages 83-100, 1991.
10. Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, editors. Functional Programming, Glasgow 1990. Workshops in Computing. Springer-Verlag, August 1991.
11. Ed Knapen. Relational programming, program inversion and the derivation of parsing algorithms. Master's thesis, Eindhoven University of Technology, 1993.
12. Torben Æ. Mogensen. Semi-inversion of guarded equations. In GPCE '05, Lecture Notes in Computer Science 3676, pages 189-204. Springer-Verlag, 2005.
13. Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi. An injective language for reversible computation. In Dexter Kozen, editor, Mathematics of Program Construction. Proceedings, LNCS 3125, pages 289-313. Springer-Verlag, 2004.
14. Bruno Richard Preiss. Data Flow on a Queue Machine. PhD thesis, Department of Electrical Engineering, University of Toronto, 1987. 185 pp.
15. A. Y. Romanenko. The generation of inverse functions in Refal. In Dines Bjørner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 427-444. North-Holland, 1988.
16. Jens Peter Secher. Driving in the jungle. In Olivier Danvy and Andrzej Filinsky, editors, Programs as Data Objects. Proceedings, LNCS 2053, pages 198-217. Springer-Verlag, 2001.