Partial evaluation of janus part 2: Assertions and procedures

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

Volumn 7162 LNCS, Issue , 2012, Pages 289-301

  Mogensen, Torben Agidius ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

PARTIAL EVALUATION; PROCEDURE CALL;

ARTIFICIAL INTELLIGENCE;

INFORMATION SCIENCE;

EID: 84862089877     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29709-0_25     Document Type: Conference Paper

References (15)

1. Abramsky, S.: A structural approach to reversible computation. Oxford University Computing Laboratory (2001) (manuscript)
2. Bennett, C.H.: Time/space trade-offs for reversible computation. SIAM Journal on Computing 18(4), 766-776 (1989)
3. Buhrman, H., Tromp, J., Vitányi, P.: Time and Space Bounds for Reversible Simulation. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 1017-1027. Springer, Heidelberg (2001)
4. Feynman, R.P.: Reversible computation and the thermodynamics of computing. Feynman Lectures on Computation, ch. 5, pp. 137-184. Addison-Wesley (1996)
5. Hatcliff, J., Mogensen, T.Æ., Thiemann, P. (eds.): Partial Evaluation. Practice and Theory. DIKU 1998 International Summer School. LNCS, vol. 1706. Springer, Heidelberg (1999)
6. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall (1993)
7. Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development 5(3), 183-191 (1961)
8. Leuschel, M.: Logic Program Specialisation. In: Hatcliff, J., Mogensen, T.Æ., Thiemann, P. (eds.) Partial Evaluation. Practice and Theory. DIKU 1998 International Summer School. LNCS, vol. 1706, pp. 155-188. Springer, Heidelberg (1999)
9. Lutz, C.: Janus: a time-reversible language. A letter to Landauer (1986), http://www.cise.uf1.edu/~mpf/rc/janus.html
10. Mogensen, T.Æ.: Partial evaluation of the reversible language janus. In: submitted to PEPM 2010. ACM Press (2010)
11. Morita, K., Shirasaki, A., Gono, Y.: A 1-tape 2-symbol reversible turing machine. IEICE Transactions E72(3), 223-228 (1989)
12. Toffoli, T.: Reversible Computing. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 632-644. Springer, Heidelberg (1980)
13. Yokoyama, T., Axelsen, H.B., Glück, R.: Reversible Flowchart Languages and the Structured Reversible Program Theorem. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 258-270. Springer, Heidelberg (2008)
14. Yokoyama, T., Axelsen, H.B., Glück, R.: Principles of a reversible programming language. In: Proceedings of the 5th Conference on Computing Frontiers, CF 2008, pp. 43-54. ACM, New York (2008)
15. Yokoyama, T., Glück, R.: A reversible programming language and its invertible selfinterpreter. In: PEPM 2007: Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 144-153. ACM, New York (2007)