Reversible machine code and its abstract processor architecture

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets was proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this paper.
OriginalsprogEngelsk
TitelComputer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
RedaktørerVolker Diekert, Mikhail Volkov, Andrei Voronkov
ForlagSpringer
Publikationsdato2007
Sider56-69
ISBN (Trykt)978-3-540-74509-9
DOI
StatusUdgivet - 2007
BegivenhedInternational Symposium on Computer Science in Russia - Ekaterinburg, Rusland
Varighed: 3 sep. 20077 sep. 2007
Konferencens nummer: 1

Konference

KonferenceInternational Symposium on Computer Science in Russia
Nummer1
LandRusland
ByEkaterinburg
Periode03/09/200707/09/2007
NavnLecture notes in computer science
Nummer4649
ISSN0302-9743

Bibliografisk note

DOI: http://dx.doi.org/10.1007/978-3-540-74510-5_9

ID: 6380772