Semi-inversion of functional parameters

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2008, Pages 21-29

  Mogensen, Torben Ægidius ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Higher order functions; Inversion; Program transformation; Semi inversion

Indexed keywords

FIRST-ORDER FUNCTIONAL LANGUAGES; FUNCTIONAL PARAMETERS; GENERALISATION; HIGHER-ORDER FUNCTIONS; INVERSION TRANSFORMATION; PROGRAM TRANSFORMATIONS;

ASPHALT PAVEMENTS; LINGUISTICS; QUERY LANGUAGES; SEMANTICS;

FUNCTION EVALUATION;

EID: 77950913361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328408.1328413     Document Type: Conference Paper

References (15)

1. [Andersen(2006)] Jesper Andersen. A method for inversion of a higher-order programming language. Master's thesis, DIKU, University of Copenhagen, June 2006.
2. [Dijkstra(1978)] 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.
3. [Floyd(1967)] Robert W. Floyd. Nondeterministic algorithms. J. ACM, 14 (4):636-644, 1967. ISSN 0004-5411.
4. [Glück and Kawabe(2004)] 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.
5. [Gries(1981)] David Gries. The Science of Programming, chapter 21 Inverting Programs, pages 265-274. Texts and Monographs in Computer Science. Springer-Verlag, 1981.
6. [Jones et al.(1993)Jones, Gomard, and Sestoft] Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
7. [Knapen(1993)] Ed Knapen. Relational programming, program inversion and the derivation of parsing algorithms. Master's thesis, Eindhoven University of Technology, 1993.
8. [Mogensen(2005)] Torben Æ. Mogensen. Semi-inversion of guarded equations. In GPCE'05, Lecture Notes in Computer Science 3676, pages 189-204. Springer-Verlag, 2005.
9. [Mogensen(2007)] Torben Æ. Mogensen. Report on an implementation of a semi-inverter. In PSI'06, Lecture Notes in Computer Science 4378, pages 322-334. Springer-Verlag, 2007.
10. [Mu et al.(2004)Mu, Hu, and Takeichi] 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.
11. [Nishida et al.(2001)Nishida, Sakai, and Sakabe] Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe. Generation of inverse term rewriting systems for pure treeless functions. In Yoshihito Toyama, editor, The International Workshop on Rewriting in Proof and Computation, 2001.
12. [Nishida et al.(2005)Nishida, Sakai, and Sakabe] Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe. Partial inversion of constructor term rewriting systems. In Jürgen Geisl, editor, Term Rewriting and Applications 2005, volume 3467 of LNCS, pages 264-278. Springer, 2005.
13. [Reynolds(1972)] John C. Reynolds. Definitional interpreters for higher-order programming languages. In ACM Annual Conference, pages 717-740. ACM, 1972.
14. [Romanenko(1988)] 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.
15. [Romanenko(1991)] A. Y. Romanenko. Inversion and metacomputation. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991), pages 12-22. New York: ACM, 1991.