Clean Translation of an Imperative Reversible Programming Language

@inproceedings{Axelsen2011CleanTO,
  title={Clean Translation of an Imperative Reversible Programming Language},
  author={Holger Bock Axelsen},
  booktitle={CC},
  year={2011}
}
We describe the translation techniques used for the code generation in a compiler from the high-level reversible imperative programming language Janus to the low-level reversible assembly language PISA. Our translation is both semantics preserving (correct), in that target programs compute exactly the same functions as their source programs (cleanly, with no extraneous garbage output), and efficient, in that target programs conserve the complexities of source programs. In particular, target… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

References

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

Reversibility for efficient computing

View 4 Excerpts
Highly Influenced

Reversible arithmetic logic unit for quantum arithmetic

M. K. Thomsen, R. Glück, H. B. Axelsen
J. of Phys. A: Math. and Theor. 42(38), 2002 • 2010
View 1 Excerpt

Towards designing a reversible processor architecture (work-in-progress)

M. K. Thomsen, R. Glück, H. B. Axelsen
Reversible Computation. Preliminary Proceedings, pp. 46–50 • 2009
View 3 Excerpts

Similar Papers

Loading similar papers…