Towards a reversible functional language

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

Volumn 7165 LNCS, Issue , 2012, Pages 14-29

  Yokoyama, Tetsuo ^a   Axelsen, Holger Bock ^b   Glück, Robert ^b  

^a NANZAN UNIVERSITY   (Japan)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CASE EXPRESSION; FIRST-ORDER FUNCTIONAL LANGUAGES; FUNCTIONAL LANGUAGES; INJECTIVITY; INVERSE COMPUTATION; INVERSE FUNCTIONS; OPERATIONAL PROPERTIES; OVERLAPPING PATTERNS; PROGRAM INVERSION; RUN-LENGTH ENCODING; SEMANTIC RULES;

SEMANTICS;

PROGRAM INTERPRETERS;

EID: 84860822886     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29517-1_2     Document Type: Conference Paper

References (20)

1. Abramov, S.M., Glück, R.: Principles of Inverse Computation and the Universal Resolving Algorithm. In: Mogensen, T.A.E.., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 269-295. Springer, Heidelberg (2002)
2. Axelsen, H.B.: Clean Translation of an Imperative Reversible Programming Language. In: Knoop, J. (ed.) CC 2011. LNCS, vol. 6601, pp. 144-163. Springer, Heidelberg (2011)
3. Axelsen, H.B., Glück, R.: WhatDo Reversible Programs Computě In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol. 6604, pp. 42-56. Springer, Heidelberg (2011)
4. Baker, H.G.: NREVERSAL of Fortune -The Thermodynamics of Garbage Collection. In: Bekkers, Y., Cohen, J. (eds.) IWMM 1992. LNCS, vol. 637, pp. 507-524. Springer, Heidelberg (1992)
5. Bennett, C.H.: Logical reversibility of computation. IBM Journal of Research and Development17(6), 525-532 (1973)
6. Bowman, W.J., James, R.P., Sabry, A.: Dagger traced symmetric monoidal categories and reversible programming. In: De Vos, A., Wille, R. (eds.) 3rd Workshop on Reversible Computation, pp. 51-56. University of Gent. (2011)
7. De Vos, A.: Reversible Computing: Fundamentals, Quantum Computing, and Applications. Wiley-VCH (2010)
8. Frank, M.P.: Reversibility for efficientcomputing. Ph.D. thesis, EECS Dept. MIT, Cambridge, Massachusetts (1999)
9. Glück, R., Kawabe, M.: A Program Inverter for a Functional Language with Equality and Constructors. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol. 2895, pp. 246-264. Springer, Heidelberg (2003)
10. Glück, R., Kawabe, M.: A method for automatic program inversion based on LR(0) parsing. Fundamenta Informaticae 66(4), 367-395 (2005)
11. Gries, D.: Inverting Programs. In: The Science of Programming. Texts and Monographs in Computer Science, ch. 21, pp. 265-274. Springer, Heidelberg (1981)
12. Lutz, C.: Janus: a time-reversible language. Letter to R. Landauer (1986), http://www.tetsuo.jp/ref/janus.html
13. McCarthy, J.: The inversion of functions defined by Turing machines. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 177-181. Princeton University Press (1956)
14. Mogensen, T.A.E..: Partial evaluation of the reversible language Janus. In: Proceedings of Partial Evaluation and Program Manipulation, pp. 23-32. ACM Press (2011)
15. Morita, K.: Reversible computing and cellular automata -A survey. Theoretical Computer Science 395(1), 101-131 (2008)
16. Mu, S.C., Hu, Z., Takeichi, M.: An Injective Language for Reversible Computation. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 289-313. Springer, Heidelberg (2004)
17. Wille, R., Drechsler, R.: Towards a Design Flow for Reversible Logic. Springer, Heidelberg (2010)
18. Yokoyama, T., Axelsen, H., Glück, R.: Principles of a reversible programming language. In: Proceedings of Computing Frontiers, pp. 43-54. ACM Press (2008)
19. Yokoyama, T., Axelsen, H.B., Glück, R.: Optimizing clean reversible simulation of injective functions. Journal of Multiple-Valued Logic and SoftComputing 18(1), 5-24 (2012)
20. Yokoyama, T., Glück, R.: A reversible programming language and its invertible selfinterpreter. In: Proceedings of Partial Evaluation and Semantics-Based Program Manipulation, pp. 144-153. ACM Press (2007)