Fundamentals of reversible flowchart languages

@article{Yokoyama2016FundamentalsOR,
  title={Fundamentals of reversible flowchart languages},
  author={Tetsuo Yokoyama and Holger Bock Axelsen and Robert Gl{\"u}ck},
  journal={Theor. Comput. Sci.},
  year={2016},
  volume={611},
  pages={87-115}
}
This paper presents the fundamentals of reversible flowcharts. They are intended to naturally represent the structure and control flow of reversible (imperative) programming languages in a simple computation model, in the same way classical flowcharts do for conventional languages. Although reversible flowcharts are superficially similar to classical flowcharts, there are crucial differences: atomic steps are limited to locally invertible operations, and join points require an explicit… CONTINUE READING
9 Citations
66 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 66 references

Janus: A time-reversible language, Letter to R

  • C. Lutz
  • 1986
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…