Reversible computing and implicit computational complexity

•We argue that there is a link between implicit computational complexity theory and reversible computation.•We introduce inherently reversible programming languages which capture the complexity classes etime and p.•Furthermore, we discuss and analyze higher-order versions of our reversible programmi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 213; S. 102723
1. Verfasser:	Kristiansen, Lars
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.01.2022
Schlagworte:	Complexity classes Implicit computational complexity Invertible programming languages Reversible computing Turing machines Reversible computing Invertible programming languages Turing machines Implicit computational complexity Complexity classes
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!