Reversible computing from a programming language perspective

Software plays a central role in all aspects of reversible computing systems, and a variety of reversible programming languages have been developed. This presentation highlights the principles and main ideas of reversible computing viewed from a programming language perspective with a focus on clean...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 953; s. 113429
Hlavní autoři:	Glück, Robert, Yokoyama, Tetsuo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 10.04.2023
Témata:	Compute-uncompute Function injectivization Inverse interpretation Metacomputation Program inversion Program reversibilization Reversible computing Reversible programming Reversible computing Inverse interpretation Compute-uncompute Metacomputation Function injectivization Reversible programming Program reversibilization Program inversion
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!