Skip to main content
SpringerLink
Log in

Partial Evaluation of Janus Part 2: Assertions and Procedures

  • Conference paper
Perspectives of Systems Informatics (PSI 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7162))

Abstract

We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S.: A structural approach to reversible computation. Oxford University Computing Laboratory (2001) (manuscript)

    Google Scholar 

  2. Bennett, C.H.: Time/space trade-offs for reversible computation. SIAM Journal on Computing 18(4), 766–776 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  4. Feynman, R.P.: Reversible computation and the thermodynamics of computing. Feynman Lectures on Computation, ch. 5, pp. 137–184. Addison-Wesley (1996)

    Google Scholar 

  5. Hatcliff, J., Mogensen, T.Æ., Thiemann, P. (eds.): Partial Evaluation. Practice and Theory. DIKU 1998 International Summer School. LNCS, vol. 1706. Springer, Heidelberg (1999)

    Google Scholar 

  6. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall (1993)

    Google Scholar 

  7. Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development 5(3), 183–191 (1961)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  11. Morita, K., Shirasaki, A., Gono, Y.: A 1-tape 2-symbol reversible turing machine. IEICE Transactions E72(3), 223–228 (1989)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  15. Yokoyama, T., Glück, R.: A reversible programming language and its invertible self-interpreter. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIKU, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen O, Denmark

    Torben Ægidius Mogensen

Authors
  1. Torben Ægidius Mogensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, 15213-3891, Pittsburgh, PA, USA

    Edmund Clarke

  2. A.P. Ershov Institute of Informatics Systems Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev ave, Novosibirsk, 630090, Russia

    Irina Virbitskaite

  3. The University of Manchester, Oxford Road, M13 9PL, Manchester, UK

    Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mogensen, T.Æ. (2012). Partial Evaluation of Janus Part 2: Assertions and Procedures. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2011. Lecture Notes in Computer Science, vol 7162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29709-0_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29709-0_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29708-3

  • Online ISBN: 978-3-642-29709-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation