Платформа обратимых вычислений

Из Reversible Computing Часто задаваемые вопросы:

Достижение максимально возможной вычислительной производительности для данного скорость диссипации битов обычно требует явной обратимости, а не только на самом низком уровне, но и на всех уровнях вычислений --в устройствах, схемы, архитектуры, языки и алгоритмы (сильно предположенный, но еще формально не доказанный результат -назовем его законом Франка ).

Насколько я понимаю, энергия теряется при обнулении битов. Выработка тепла может быть уменьшена, если программно-аппаратная платформа имеет возможность реверсирования логических операций.

Существует ли какая-либо платформа программирования (, библиотека, среда выполнения, язык и компилятор ), которые поддерживают обратимые вычисления?