Article

Splitting Recursion Schemes into Reversible and Classical Interacting Threads

Authors:

Armando B. Matos,

Luca Paolini,

Luca RoversiAuthors Info & Claims

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Pages 204 - 213

https://doi.org/10.1007/978-3-030-79837-6_12

Published: 07 July 2021 Publication History

Abstract

Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pattern in order to implement the original recursive function. The reversible producer is meant to run on reversible hardware. We also discuss how to extend the extraction to a more general compilation scheme.

References

[1]

Boiten EA Improving recursive functions by inverting the order of evaluation Sci. Comput. Programm. 1992 18 2 139-179

Crossref

Google Scholar

[2]

James, R.P., Sabry, A.: Information effects. In: Field, J., Hicks, M. (eds.) Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, 22–28 January 2012, Philadelphia, Pennsylvania, USA, pp. 73–84. ACM (2012)

Google Scholar

[3]

Matos AB Linear programs in a simple reversible language Theor. Comput. Sci. 2003 290 3 2063-2074

Crossref

Google Scholar

[4]

Matos AB, Paolini L, and Roversi L Lanese I and Rawski M On the expressivity of total reversible programming languages Reversible Computation 2020 Cham Springer 128-143

Crossref

Google Scholar

[5]

Paolini L, Piccolo M, and Roversi L On a class of reversible primitive recursive functions and its turing-complete extensions New Gener. Comput. 2018 36 3 233-256

Crossref

Google Scholar

[6]

Paolini L, Piccolo M, and Roversi L A class of recursive permutations which is primitive recursive complete Theor. Comput. Sci. 2020 813 218-233

Crossref

Google Scholar

[7]

Roversi, L., Matos, A., Paolini, L.: Eclipse java project rev2iterrev. https://github.com/LucaRoversi/Rec2IterRev

Google Scholar

[8]

Schordan M, Oppelstrup T, Jefferson D, and Barnes PD Generation of reversible C++ code for optimistic parallel discrete event simulation New Gener. Comput. 2018 36 3 257-280

Crossref

Google Scholar

[9]

Schordan M, Oppelstrup T, Thomsen MK, and Glück R Ulidowski I, Lanese I, Schultz UP, and Ferreira C Reversible languages and incremental state saving in optimistic parallel discrete event simulation Reversible Computation: Extending Horizons of Computing 2020 Cham Springer 187-207

Crossref

Google Scholar

Index Terms

Splitting Recursion Schemes into Reversible and Classical Interacting Threads
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Recursion
      2. Language types
        Functional languages
2. Theory of computation
  1. Models of computation
  2. Semantics and reasoning

Index terms have been assigned to the content through auto-classification.

Recommendations

Reversible watermarking based on two embedding Schemes

Two different embedding schemes are presented in this paper. One aims to increase rate-distortion performance at low embedding rates. It will increase performance at low embedding rates from the following three main aspects: 1) a local variance-...
Reversible watermarking of 2D-vector data
MM&Sec '04: Proceedings of the 2004 workshop on Multimedia and security

This paper presents a reversible watermarking scheme for the 2D-vector data (point coordinates) which are popularly used in geographical information related applications. This reversible watermarking scheme exploits the high correlation among points in ...
Reversible Data Embedding for Tamper-Proof Watermarks
ICICIC '06: Proceedings of the First International Conference on Innovative Computing, Information and Control - Volume 3

In this paper, a novel reversible data embedding for tamper-proof watermarks is proposed. A reversible watermark is embedded into robust watermark in the discrete wavelet transform (DWT) domain using a feature map and a location map. Generally, the ...

Comments

Information & Contributors

Information

Published In

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Jul 2021

276 pages

ISBN:978-3-030-79836-9

DOI:10.1007/978-3-030-79837-6

Editors:
Shigeru Yamashita
Ritsumeikan University, Kusatsu, Japan
,
Tetsuo Yokoyama
Nanzan University, Nagoya, Japan

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 July 2021

Qualifiers

Article

Index Terms

Recommendations

Reversible watermarking based on two embedding Schemes

Reversible watermarking of 2D-vector data

Reversible Data Embedding for Tamper-Proof Watermarks

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Abstract

References

Index Terms

Recommendations

Reversible watermarking based on two embedding Schemes

Reversible watermarking of 2D-vector data

Reversible Data Embedding for Tamper-Proof Watermarks

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations