Paper by Erik D. Demaine
- Nirvan Tyagi, Jayson Lynch, and Erik D. Demaine, “Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms”, in Proceedings of the 8th International Conference on Reversible Computation (RC 2016), Lecture Notes in Computer Science, volume 9720, Bologna, Italy, July 7–8, 2016, pages 121–136.
We introduce a new programming language for expressing reversibility,
Energy-Efficient Language (Eel), geared toward algorithm design and
implementation. Eel is the first language to take advantage of a partially
reversible computation model, where programs can be composed of both
reversible and irreversible operations. In this model, irreversible operations
cost energy for every bit of information created or destroyed. To
handle programs of varying degrees of reversibility, Eel supports a log stack
to automatically trade energy costs for space costs, and introduces many
powerful control logic operators including protected conditional, general
conditional, protected loops, and general loops. In this paper, we present the
design and compiler for the three language levels of Eel along with an
interpreter to simulate and annotate incurred energy costs of a program.
- This paper is also available from SpringerLink.
- Currently unavailable. If you are in a rush for copies,
- [Google Scholar search]
- Related papers:
- Energy_ITCS2016 (Energy-Efficient Algorithms)
See also other papers by Erik Demaine.
These pages are generated automagically from a
Last updated February 18, 2019 by