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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Science of computer programming Ročník 213; s. 102723
Hlavný autor:	Kristiansen, Lars
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.01.2022
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
Shrnutí:	•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 programming languages. 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 ▪. Furthermore, we discuss and analyze higher-order versions of our reversible programming languages.
ISSN:	0167-6423 1872-7964
DOI:	10.1016/j.scico.2021.102723