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!
Abstract 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 reversible languages. They are the building material for software that can reap the benefits of reversible hardware and interesting in their own right. Reversible computing is situated within programming languages in general, and the relevant concepts are elaborated, including computability, injectivization and reversibilization. Features representative for many reversible languages are presented, such as reversible updates, reversible iterations, and access to a program's inverse semantics. Metaprogramming methods of particular importance to reversible programming, are introduced, including program inversion and inverse interpretation. Our presentation is independent of a particular language, although primarily the reversible language, Janus, will be used in examples. •Overview of principles and main ideas of reversible computing.•Coherent explanatory framework from a programming language perspective.•Five major hypotheses of programmable reversible computing systems.•Function injectivization, program reversibilization, compute-uncompute are elaborated.•Cornerstones of clean reversible languages and relevant metaprograms are presented.
AbstractList 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 reversible languages. They are the building material for software that can reap the benefits of reversible hardware and interesting in their own right. Reversible computing is situated within programming languages in general, and the relevant concepts are elaborated, including computability, injectivization and reversibilization. Features representative for many reversible languages are presented, such as reversible updates, reversible iterations, and access to a program's inverse semantics. Metaprogramming methods of particular importance to reversible programming, are introduced, including program inversion and inverse interpretation. Our presentation is independent of a particular language, although primarily the reversible language, Janus, will be used in examples. •Overview of principles and main ideas of reversible computing.•Coherent explanatory framework from a programming language perspective.•Five major hypotheses of programmable reversible computing systems.•Function injectivization, program reversibilization, compute-uncompute are elaborated.•Cornerstones of clean reversible languages and relevant metaprograms are presented.
ArticleNumber 113429
Author Glück, Robert
Yokoyama, Tetsuo
Author_xml – sequence: 1
  givenname: Robert
  surname: Glück
  fullname: Glück, Robert
  email: glueck@acm.org
  organization: DIKU, Department of Computer Science, University of Copenhagen, Denmark
– sequence: 2
  givenname: Tetsuo
  surname: Yokoyama
  fullname: Yokoyama, Tetsuo
  email: tyokoyama@acm.org
  organization: Department of Electronics and Communication Technology, Nanzan University, Japan
BookMark eNp9kMtqwzAQRUVJoWnaD-jOP2B39Iht0W5K6AsChdKuhSSPjIJfSEqgf1-HdNVFZjMw3DNwzzVZDOOAhNxRKCjQ8n5XJBsLBowVUBZA4YIsaV3JnDEpFmQJHETOZbW-Itcx7mCedVUuyeMnHjBEbzrM7NhP--SHNnNh7DOdTWFsg-7746nTQ7vXLWbTHJ_QJn_AG3LpdBfx9m-vyPfL89fmLd9-vL5vnra5FVCm3DBuQDa8FJJqXhnBeC0tAw0GBXB0hmonnLQN1MYYJw02rha00aI02nK-ItXprw1jjAGdsj7p5MchBe07RUEdJaidmiWoowQFpZolzCT9R07B9zr8nGUeTgzOlQ4eg4rW42Cx8WHurZrRn6F_AUOweL0
CitedBy_id crossref_primary_10_1007_s00354_022_00169_z
Cites_doi 10.1145/347823.347828
10.1007/s00354-018-0034-6
10.1051/ita:2004008
10.1016/j.jlamp.2016.08.003
10.1145/321420.321422
10.1016/S0167-6423(02)00023-0
10.1145/3460214
10.1007/s00354-018-0039-1
10.1007/BF03037321
10.1080/02604027.1995.9972561
10.1145/367177.367199
10.1088/1751-8113/43/38/382002
10.1002/spe.4380170703
10.1007/BF01886518
10.1006/jcss.1999.1672
10.3390/e22060660
10.1007/978-4-431-56606-9
10.1145/365559.365593
10.1147/rd.53.0183
10.1145/5001.5005
10.1016/j.scico.2022.102873
10.1016/j.scico.2021.102746
10.1007/s00354-018-0038-2
10.1145/359131.359136
10.1016/j.tcs.2005.07.002
10.1016/j.scico.2021.102748
10.1016/j.tcs.2015.07.046
10.1016/j.tcs.2022.02.024
10.1038/nature10872
10.1007/BF01857727
10.1145/1232420.1232424
10.1016/j.ipl.2019.03.002
10.1016/j.jlamp.2017.10.003
10.1016/j.vlsi.2015.10.001
10.1145/1071221.1071222
10.1016/S0304-3975(02)00486-3
10.1007/s00354-022-00169-z
10.1016/0167-2789(90)90185-R
10.1017/S0263574717000613
10.1142/S0129054101000448
10.1007/s00236-015-0253-y
10.1145/3409000
10.1007/s00354-018-0037-3
10.1587/transinf.2016EDP7274
10.1147/rd.176.0525
10.1137/0218053
ContentType Journal Article
Copyright 2022 The Author(s)
Copyright_xml – notice: 2022 The Author(s)
DBID 6I.
AAFTH
AAYXX
CITATION
DOI 10.1016/j.tcs.2022.06.010
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
EISSN 1879-2294
ExternalDocumentID 10_1016_j_tcs_2022_06_010
S0304397522003619
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
123
1B1
1RT
1~.
1~5
4.4
457
4G.
5VS
6I.
7-5
71M
8P~
9JN
AABNK
AACTN
AAEDW
AAFTH
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAXUO
AAYFN
ABAOU
ABBOA
ABJNI
ABMAC
ABYKQ
ACAZW
ACDAQ
ACGFS
ACRLP
ACZNC
ADBBV
ADEZE
AEBSH
AEKER
AENEX
AFKWA
AFTJW
AGUBO
AGYEJ
AHHHB
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ARUGR
AXJTR
BKOJK
BLXMC
CS3
DU5
EBS
EFJIC
EFLBG
EO8
EO9
EP2
EP3
F5P
FDB
FEDTE
FIRID
FNPLU
FYGXN
G-Q
GBLVA
GBOLZ
HVGLF
IHE
IXB
J1W
KOM
LG9
M26
M41
MHUIS
MO0
N9A
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
ROL
RPZ
SCC
SDF
SDG
SES
SEW
SPC
SPCBC
SSV
SSW
T5K
TN5
WH7
YNT
ZMT
~G-
29Q
9DU
AAEDT
AAQXK
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABEFU
ABFNM
ABWVN
ABXDB
ACLOT
ACNNM
ACRPL
ACVFH
ADCNI
ADMUD
ADNMO
ADVLN
AEIPS
AEUPX
AEXQZ
AFJKZ
AFPUW
AGHFR
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
APXCP
ASPBG
AVWKF
AZFZN
CITATION
EFKBS
EJD
FGOYB
G-2
HZ~
R2-
SSZ
TAE
WUQ
ZY4
~HD
ID FETCH-LOGICAL-c406t-b23b09d36491a37b42389c20a0be403efb1af4f9cd08bbbf9bedf841da46bac33
ISICitedReferencesCount 9
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000955653900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0304-3975
IngestDate Sat Nov 29 07:20:28 EST 2025
Tue Nov 18 19:58:26 EST 2025
Fri Feb 23 02:37:59 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Keywords Reversible computing
Inverse interpretation
Compute-uncompute
Metacomputation
Function injectivization
Reversible programming
Program reversibilization
Program inversion
Language English
License This is an open access article under the CC BY license.
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c406t-b23b09d36491a37b42389c20a0be403efb1af4f9cd08bbbf9bedf841da46bac33
OpenAccessLink https://dx.doi.org/10.1016/j.tcs.2022.06.010
ParticipantIDs crossref_citationtrail_10_1016_j_tcs_2022_06_010
crossref_primary_10_1016_j_tcs_2022_06_010
elsevier_sciencedirect_doi_10_1016_j_tcs_2022_06_010
PublicationCentury 2000
PublicationDate 2023-04-10
PublicationDateYYYYMMDD 2023-04-10
PublicationDate_xml – month: 04
  year: 2023
  text: 2023-04-10
  day: 10
PublicationDecade 2020
PublicationTitle Theoretical computer science
PublicationYear 2023
Publisher Elsevier B.V
Publisher_xml – name: Elsevier B.V
References Axelsen, Yokoyama (br0120) 2015; vol. 9458
Mogensen (br0870) 2021
Nakano (br0920) 2022; 215
Glück, Yokoyama (br0500) 2022; vol. 373
Hagiya, Wang, Kawamata, Murata, Isokawa, Peper, Imai (br0560) 2014
Toffoli (br1070) 1980; vol. 85
Glück, Kaarsgaard (br0380) 2018; 14
Perumalla (br0970) 2014
Axelsen, Glück (br0080) 2011; vol. 6638
Glück, Kaarsgaard, Yokoyama (br0520) 2022; 920
Mogensen (br0850) 2016; vol. 9609
Turchin, Nirenberg, Turchin (br1080) 1982
Cservenka, Glück, Haulund, Mogensen (br0220) 2018; vol. 11106
Kutrib, Meyer, Deworetzki, Schuster (br0720) 2021
Leeman (br0770) 1986; 8
Schultz, Axelsen (br1030) 2016; vol. 9720
Deworetzki, Meyer (br0250) 2021
Hay-Schmidt, Glück, Cservenka, Haulund (br0580) 2021; vol. 12805
Kawabe, Glück (br0640) 2005; vol. 3350
O'Callahan, Jones, Froyd, Huey, Noll, Partush (br0940) 2017
Briggs (br0200) 1987; 17
Krakovsky (br0700) 2021; 64
Axelsen, Glück (br0100) 2013; vol. 7948
Yokoyama, Glück (br1140) 2007
Yokoyama, Axelsen, Glück (br1150) 2008
Floyd (br0330) 1967; 14
Holzer, Kutrib (br0600) 2017; vol. 10301
Feynman (br0320) 1996
Královič (br0710) 2004; 38
Mogensen (br0880) 2022; 215
Glück (br0530) 2020; vol. 12233
Dijkstra (br0270) 1982
Glück, Yokoyama (br0460) 2016; 33
Eppstein (br0280) 1985; vol. 1
Kaarsgaard, Axelsen, Glück (br0620) 2017; 87
Kowalski (br0690) 1979; 22
Vitányi (br1110) 2005
Yokoyama, Axelsen, Glück (br1170) 2012; 18
Aman (br0070) 2020; vol. 12070
Fernández, Mackie (br0300) 2020; vol. 12531
Glück, Kawabe (br0410) 2005; 40
Schordan, Oppelstrup, Jefferson, Barnes (br1010) 2018; 36
Haulund, Mogensen, Glück (br0570) 2017; vol. 10301
Thomsen, Glück, Axelsen (br1040) 2010; 43
Thomsen, Axelsen, Glück (br1050) 2012; vol. 7165
Wille, Drechsler (br1120) 2010
Mezzina (br0840) 2020; vol. 12070
Pesu, Phillips (br0980) 2015; vol. 9138
Feynman (br0310) 1986; 16
Lanese, Nishida, Palacios, Vidal (br0740) 2018; vol. 10818
Kari (br0630) 2018; 36
Glück, Kawabe (br0400) 2005; 66
Kluge (br0660) 2000; vol. 1868
Carothers, Perumalla, Fujimoto (br0210) 1999; 9
Dijkstra (br0260) 1978; vol. 69
Abramsky (br0060) 2005; 347
Bennett (br0180) 1989; 18
Glück, Kawada, Hashimoto (br0510) 2003
Foster, Greenwald, Moore, Pierce, Schmitt (br0340) 2007; 29
Meuli, Soeken, Roetteler, Bjørner, De Micheli (br0830) 2019
Axelsen, Glück, De Vos, Thomsen (br0140) 2009; 79
Yokoyama, Axelsen, Glück (br1180) 2012; vol. 7165
Glück, Turchin (br0450) 1990
Hoey, Ulidowski (br0590) 2022; 223
McCarthy (br0820) 1960; 3
Reilly, Federighi (br1000) 1965; 8
Korf (br0670) 1981
Abramov, Glück (br0010) 2000; vol. 1974
Morita (br0890) 2017
Glück, Kawabe (br0390) 2003; vol. 2895
Glück, Leuschel (br0440) 2000; vol. 1755
Jones, Gomard, Sestoft (br0610) 1993
Fredkin, Toffoli (br0360) 1982; 21
Landauer (br0730) 1961; 5
Lutz (br0780) 1986
Axelsen, Glück, Yokoyama (br0130) 2007; vol. 4649
Mogensen (br0860) 2018; 36
Perumalla, Fujimoto (br0960) 1999
Yokoyama, Axelsen, Glück (br1160) 2008; vol. 5126
Glück, Klimov (br0430) 1998; 16
Laursen, Ellekilde, Schultz (br0760) 2018; 36
Vieri, Ammer, Frank, Margolus, Knight (br1100) 1998
Abramov, Glück (br0040) 2002; vol. 2566
Bennett (br0170) 1973; 17
Glück, Klimov (br0420) 1995; 45
Axelsen, Glück (br0090) 2011; vol. 6604
De Vos (br0230) 2010
Toffoli, Margolus (br1060) 1990; 45
Wille, Schönborn, Soeken, Drechsler (br1130) 2016; 53
Glück, Yokoyama (br0490) 2022; 40
Schordan, Oppelstrup, Thomsen, Glück (br1020) 2020; vol. 12070
Yokoyama, Axelsen, Glück (br1190) 2016; 611
Matsuda, Wang (br0800) 2020; 4
Axelsen, Glück (br0110) 2016; 53
Pin (br0990) 1987; vol. 267
Nishida, Palacios, Vidal (br0930) 2018; 94
Abramov, Glück (br0030) 2001; 12
Gries (br0550) 1981
Futamura (br0370) 1971; 2
Matos (br0790) 2003; 290
Kirkeby, Glück (br0650) 2020; vol. 12042
Abramov, Glück (br0020) 2000; vol. 1837
Baker (br0160) 1992; vol. 637
GNU Project (br0540) 2009
Frank (br0350) 1999
De Vos (br0240) 2020; 22
Ershov (br0290) 1978
Nakano (br0910) 2020; vol. 12227
Vidal (br1090) 2020; vol. 12227
Lange, McKenzie, Tapp (br0750) 2000; 60
McCarthy (br0810) 1956
Axelsen (br0150) 2011; vol. 6601
Paolini, Piccolo, Roversi (br0950) 2018; 36
Glück, Yokoyama (br0470) 2017; E100-D
Glück, Yokoyama (br0480) 2019; 147
Kowalski (br0680) 1974; vol. 74
Bérut, Arakelyan, Petrosyan, Ciliberto, Dillenschneider, Lutz (br0190) 2012; 483
Abramov, Glück (br0050) 2002; 43
Mu, Hu, Takeichi (br0900) 2004; vol. 3125
Dijkstra (10.1016/j.tcs.2022.06.010_br0270) 1982
Abramov (10.1016/j.tcs.2022.06.010_br0030) 2001; 12
De Vos (10.1016/j.tcs.2022.06.010_br0240) 2020; 22
Schordan (10.1016/j.tcs.2022.06.010_br1010) 2018; 36
Leeman (10.1016/j.tcs.2022.06.010_br0770) 1986; 8
Axelsen (10.1016/j.tcs.2022.06.010_br0140) 2009; 79
Laursen (10.1016/j.tcs.2022.06.010_br0760) 2018; 36
Schultz (10.1016/j.tcs.2022.06.010_br1030) 2016; vol. 9720
Lanese (10.1016/j.tcs.2022.06.010_br0740) 2018; vol. 10818
Briggs (10.1016/j.tcs.2022.06.010_br0200) 1987; 17
Hay-Schmidt (10.1016/j.tcs.2022.06.010_br0580) 2021; vol. 12805
Axelsen (10.1016/j.tcs.2022.06.010_br0100) 2013; vol. 7948
Glück (10.1016/j.tcs.2022.06.010_br0390) 2003; vol. 2895
Mezzina (10.1016/j.tcs.2022.06.010_br0840) 2020; vol. 12070
Ershov (10.1016/j.tcs.2022.06.010_br0290) 1978
Abramov (10.1016/j.tcs.2022.06.010_br0040) 2002; vol. 2566
Haulund (10.1016/j.tcs.2022.06.010_br0570) 2017; vol. 10301
Bennett (10.1016/j.tcs.2022.06.010_br0180) 1989; 18
Paolini (10.1016/j.tcs.2022.06.010_br0950) 2018; 36
Matsuda (10.1016/j.tcs.2022.06.010_br0800) 2020; 4
Kaarsgaard (10.1016/j.tcs.2022.06.010_br0620) 2017; 87
Abramsky (10.1016/j.tcs.2022.06.010_br0060) 2005; 347
De Vos (10.1016/j.tcs.2022.06.010_br0230) 2010
Abramov (10.1016/j.tcs.2022.06.010_br0020) 2000; vol. 1837
Feynman (10.1016/j.tcs.2022.06.010_br0310) 1986; 16
Futamura (10.1016/j.tcs.2022.06.010_br0370) 1971; 2
Morita (10.1016/j.tcs.2022.06.010_br0890) 2017
Yokoyama (10.1016/j.tcs.2022.06.010_br1160) 2008; vol. 5126
Axelsen (10.1016/j.tcs.2022.06.010_br0080) 2011; vol. 6638
Glück (10.1016/j.tcs.2022.06.010_br0470) 2017; E100-D
Lange (10.1016/j.tcs.2022.06.010_br0750) 2000; 60
Mogensen (10.1016/j.tcs.2022.06.010_br0860) 2018; 36
Nishida (10.1016/j.tcs.2022.06.010_br0930) 2018; 94
Fernández (10.1016/j.tcs.2022.06.010_br0300) 2020; vol. 12531
Glück (10.1016/j.tcs.2022.06.010_br0500) 2022; vol. 373
Reilly (10.1016/j.tcs.2022.06.010_br1000) 1965; 8
Glück (10.1016/j.tcs.2022.06.010_br0520) 2022; 920
Hagiya (10.1016/j.tcs.2022.06.010_br0560) 2014
Vitányi (10.1016/j.tcs.2022.06.010_br1110) 2005
Baker (10.1016/j.tcs.2022.06.010_br0160) 1992; vol. 637
Glück (10.1016/j.tcs.2022.06.010_br0480) 2019; 147
Mogensen (10.1016/j.tcs.2022.06.010_br0870) 2021
Fredkin (10.1016/j.tcs.2022.06.010_br0360) 1982; 21
Glück (10.1016/j.tcs.2022.06.010_br0420) 1995; 45
Kawabe (10.1016/j.tcs.2022.06.010_br0640) 2005; vol. 3350
Yokoyama (10.1016/j.tcs.2022.06.010_br1140) 2007
Abramov (10.1016/j.tcs.2022.06.010_br0050) 2002; 43
Cservenka (10.1016/j.tcs.2022.06.010_br0220) 2018; vol. 11106
Kluge (10.1016/j.tcs.2022.06.010_br0660) 2000; vol. 1868
Královič (10.1016/j.tcs.2022.06.010_br0710) 2004; 38
Wille (10.1016/j.tcs.2022.06.010_br1120) 2010
Eppstein (10.1016/j.tcs.2022.06.010_br0280) 1985; vol. 1
Krakovsky (10.1016/j.tcs.2022.06.010_br0700) 2021; 64
Kutrib (10.1016/j.tcs.2022.06.010_br0720) 2021
Toffoli (10.1016/j.tcs.2022.06.010_br1060) 1990; 45
Yokoyama (10.1016/j.tcs.2022.06.010_br1170) 2012; 18
Frank (10.1016/j.tcs.2022.06.010_br0350) 1999
Dijkstra (10.1016/j.tcs.2022.06.010_br0260) 1978; vol. 69
Gries (10.1016/j.tcs.2022.06.010_br0550) 1981
Matos (10.1016/j.tcs.2022.06.010_br0790) 2003; 290
Thomsen (10.1016/j.tcs.2022.06.010_br1050) 2012; vol. 7165
Schordan (10.1016/j.tcs.2022.06.010_br1020) 2020; vol. 12070
Kari (10.1016/j.tcs.2022.06.010_br0630) 2018; 36
Vidal (10.1016/j.tcs.2022.06.010_br1090) 2020; vol. 12227
Axelsen (10.1016/j.tcs.2022.06.010_br0120) 2015; vol. 9458
Axelsen (10.1016/j.tcs.2022.06.010_br0130) 2007; vol. 4649
Yokoyama (10.1016/j.tcs.2022.06.010_br1190) 2016; 611
Hoey (10.1016/j.tcs.2022.06.010_br0590) 2022; 223
Mogensen (10.1016/j.tcs.2022.06.010_br0850) 2016; vol. 9609
Axelsen (10.1016/j.tcs.2022.06.010_br0090) 2011; vol. 6604
McCarthy (10.1016/j.tcs.2022.06.010_br0820) 1960; 3
Mogensen (10.1016/j.tcs.2022.06.010_br0880) 2022; 215
Floyd (10.1016/j.tcs.2022.06.010_br0330) 1967; 14
Jones (10.1016/j.tcs.2022.06.010_br0610)
Toffoli (10.1016/j.tcs.2022.06.010_br1070) 1980; vol. 85
Glück (10.1016/j.tcs.2022.06.010_br0530) 2020; vol. 12233
Kowalski (10.1016/j.tcs.2022.06.010_br0690) 1979; 22
Glück (10.1016/j.tcs.2022.06.010_br0430) 1998; 16
Carothers (10.1016/j.tcs.2022.06.010_br0210) 1999; 9
Foster (10.1016/j.tcs.2022.06.010_br0340) 2007; 29
Nakano (10.1016/j.tcs.2022.06.010_br0910) 2020; vol. 12227
Feynman (10.1016/j.tcs.2022.06.010_br0320) 1996
Pesu (10.1016/j.tcs.2022.06.010_br0980) 2015; vol. 9138
Glück (10.1016/j.tcs.2022.06.010_br0410) 2005; 40
Glück (10.1016/j.tcs.2022.06.010_br0440) 2000; vol. 1755
Glück (10.1016/j.tcs.2022.06.010_br0510) 2003
Turchin (10.1016/j.tcs.2022.06.010_br1080) 1982
Mu (10.1016/j.tcs.2022.06.010_br0900) 2004; vol. 3125
Wille (10.1016/j.tcs.2022.06.010_br1130) 2016; 53
Perumalla (10.1016/j.tcs.2022.06.010_br0960) 1999
Glück (10.1016/j.tcs.2022.06.010_br0490) 2022; 40
Axelsen (10.1016/j.tcs.2022.06.010_br0110) 2016; 53
Kowalski (10.1016/j.tcs.2022.06.010_br0680) 1974; vol. 74
Landauer (10.1016/j.tcs.2022.06.010_br0730) 1961; 5
Glück (10.1016/j.tcs.2022.06.010_br0380) 2018; 14
Abramov (10.1016/j.tcs.2022.06.010_br0010) 2000; vol. 1974
Bennett (10.1016/j.tcs.2022.06.010_br0170) 1973; 17
McCarthy (10.1016/j.tcs.2022.06.010_br0810) 1956
Glück (10.1016/j.tcs.2022.06.010_br0460) 2016; 33
Lutz (10.1016/j.tcs.2022.06.010_br0780)
Glück (10.1016/j.tcs.2022.06.010_br0450) 1990
Deworetzki (10.1016/j.tcs.2022.06.010_br0250) 2021
O'Callahan (10.1016/j.tcs.2022.06.010_br0940) 2017
Yokoyama (10.1016/j.tcs.2022.06.010_br1150) 2008
Thomsen (10.1016/j.tcs.2022.06.010_br1040) 2010; 43
Perumalla (10.1016/j.tcs.2022.06.010_br0970) 2014
Kirkeby (10.1016/j.tcs.2022.06.010_br0650) 2020; vol. 12042
Korf (10.1016/j.tcs.2022.06.010_br0670) 1981
Holzer (10.1016/j.tcs.2022.06.010_br0600) 2017; vol. 10301
Bérut (10.1016/j.tcs.2022.06.010_br0190) 2012; 483
Glück (10.1016/j.tcs.2022.06.010_br0400) 2005; 66
Vieri (10.1016/j.tcs.2022.06.010_br1100) 1998
Aman (10.1016/j.tcs.2022.06.010_br0070) 2020; vol. 12070
Nakano (10.1016/j.tcs.2022.06.010_br0920) 2022; 215
Meuli (10.1016/j.tcs.2022.06.010_br0830) 2019
GNU Project (10.1016/j.tcs.2022.06.010_br0540)
Yokoyama (10.1016/j.tcs.2022.06.010_br1180) 2012; vol. 7165
Axelsen (10.1016/j.tcs.2022.06.010_br0150) 2011; vol. 6601
Pin (10.1016/j.tcs.2022.06.010_br0990) 1987; vol. 267
References_xml – volume: 33
  start-page: 108
  year: 2016
  end-page: 128
  ident: br0460
  article-title: A linear-time self-interpreter of a reversible imperative language
  publication-title: Comput. Softw.
– start-page: 286
  year: 1990
  end-page: 287
  ident: br0450
  article-title: Application of metasystem transition to function inversion and transformation
  publication-title: International Symposium on Symbolic and Algebraic Computation. Proceedings
– volume: 16
  start-page: 507
  year: 1986
  end-page: 531
  ident: br0310
  article-title: Quantum mechanical computers
  publication-title: Found. Phys.
– volume: 66
  start-page: 367
  year: 2005
  end-page: 395
  ident: br0400
  article-title: A method for automatic program inversion based on LR(0) parsing
  publication-title: Fundam. Inform.
– volume: vol. 4649
  start-page: 56
  year: 2007
  end-page: 69
  ident: br0130
  article-title: Reversible machine code and its abstract processor architecture
  publication-title: Computer Science – Theory and Applications. Proceedings
– volume: 611
  start-page: 87
  year: 2016
  end-page: 115
  ident: br1190
  article-title: Fundamentals of reversible flowchart languages
  publication-title: Theor. Comput. Sci.
– volume: 21
  start-page: 219
  year: 1982
  end-page: 253
  ident: br0360
  article-title: Conservative logic
  publication-title: Int. J. Theor. Phys.
– volume: vol. 9458
  start-page: 407
  year: 2015
  end-page: 426
  ident: br0120
  article-title: Programming techniques for reversible comparison sorts
  publication-title: Programming Languages and Systems. Proceedings
– volume: 920
  start-page: 46
  year: 2022
  end-page: 63
  ident: br0520
  article-title: From reversible programming languages to reversible metalanguages
  publication-title: Theor. Comput. Sci.
– volume: 18
  start-page: 5
  year: 2012
  end-page: 24
  ident: br1170
  article-title: Optimizing reversible simulation of injective functions
  publication-title: J. Mult.-Valued Log. Soft Comput.
– volume: 36
  start-page: 145
  year: 2018
  end-page: 172
  ident: br0630
  article-title: Reversible cellular automata: from fundamental classical results to recent developments
  publication-title: New Gener. Comput.
– volume: vol. 9138
  start-page: 45
  year: 2015
  end-page: 59
  ident: br0980
  article-title: Real-time methods in reversible computation
  publication-title: Reversible Computation. Proceedings
– volume: vol. 1
  start-page: 219
  year: 1985
  end-page: 221
  ident: br0280
  article-title: A heuristic approach to program inversion
  publication-title: International Joint Conference on Artificial Intelligence (IJCAI-85). Proceedings
– start-page: 144
  year: 2007
  end-page: 153
  ident: br1140
  article-title: A reversible programming language and its invertible self-interpreter
  publication-title: Partial Evaluation and Program Manipulation. Proceedings
– volume: vol. 11106
  start-page: 269
  year: 2018
  end-page: 285
  ident: br0220
  article-title: Data structures and dynamic memory management in reversible languages
  publication-title: Reversible Computation. Proceedings
– volume: vol. 2566
  start-page: 269
  year: 2002
  end-page: 295
  ident: br0040
  article-title: Principles of inverse computation and the universal resolving algorithm
  publication-title: The Essence of Computation: Complexity, Analysis, Transformation
– start-page: 47
  year: 1982
  end-page: 55
  ident: br1080
  article-title: Experiments with a supercompiler
  publication-title: Lisp and Functional Programming. Proceedings
– year: 1999
  ident: br0350
  article-title: Reversibility for Efficient Computing
– volume: 16
  start-page: 75
  year: 1998
  end-page: 95
  ident: br0430
  article-title: On the degeneration of program generators by program composition
  publication-title: New Gener. Comput.
– volume: 94
  start-page: 128
  year: 2018
  end-page: 149
  ident: br0930
  article-title: Reversible computation in term rewriting
  publication-title: J. Log. Algebraic Methods Program.
– start-page: 13
  year: 2021
  end-page: 18
  ident: br0250
  article-title: Program analysis for reversible languages
  publication-title: International Workshop on the State of the Art in Program Analysis. Proceedings
– volume: 5
  start-page: 183
  year: 1961
  end-page: 191
  ident: br0730
  article-title: Irreversibility and heat generation in the computing process
  publication-title: IBM J. Res. Dev.
– start-page: 1007
  year: 1981
  end-page: 1009
  ident: br0670
  article-title: Inversion of applicative programs
  publication-title: International Joint Conference on Artificial Intelligence (IJCAI-81). Proceedings
– volume: vol. 9720
  start-page: 153
  year: 2016
  end-page: 159
  ident: br1030
  article-title: Elements of a reversible object-oriented language
  publication-title: Reversible Computation. Proceedings
– volume: 36
  start-page: 203
  year: 2018
  end-page: 232
  ident: br0860
  article-title: Reversible garbage collection for reversible functional languages
  publication-title: New Gener. Comput.
– start-page: 138
  year: 1998
  end-page: 142
  ident: br1100
  article-title: A fully reversible asymptotically zero energy microprocessor
  publication-title: ISCA Workshop on Power-Driven Microarchitecture. Proceedings
– volume: vol. 7165
  start-page: 14
  year: 2012
  end-page: 29
  ident: br1180
  article-title: Towards a reversible functional language
  publication-title: Reversible Computation. Proceedings
– volume: vol. 6604
  start-page: 42
  year: 2011
  end-page: 56
  ident: br0090
  article-title: What do reversible programs compute?
  publication-title: Foundations of Software Science and Computation Structures. Proceedings
– start-page: 137
  year: 1996
  end-page: 184
  ident: br0320
  article-title: Reversible computation and the thermodynamics of computing (chapter 5)
  publication-title: Feynman Lectures on Computation
– year: 1999
  ident: br0960
  article-title: Source-code transformations for efficient reversibility
– start-page: 265
  year: 1981
  end-page: 274
  ident: br0550
  article-title: The Science of Programming
– start-page: 177
  year: 1956
  end-page: 181
  ident: br0810
  article-title: The inversion of functions defined by Turing machines
  publication-title: Automata Studies
– volume: 40
  start-page: 467
  year: 2022
  end-page: 480
  ident: br0490
  article-title: Making programs reversible with minimal extra data
  publication-title: New Gener. Comput.
– volume: vol. 85
  start-page: 632
  year: 1980
  end-page: 644
  ident: br1070
  article-title: Reversible computing
  publication-title: Automata, Languages and Programming. Proceedings
– volume: 8
  start-page: 557
  year: 1965
  end-page: 558
  ident: br1000
  article-title: On reversible subroutines and computers that run backwards
  publication-title: Commun. ACM
– year: 2010
  ident: br0230
  article-title: Reversible Computing: Fundamentals, Quantum Computing, and Applications
– volume: vol. 10301
  start-page: 66
  year: 2017
  end-page: 73
  ident: br0570
  article-title: Implementing reversible object-oriented language features on reversible machines
  publication-title: Reversible Computation. Proceedings
– volume: 45
  start-page: 229
  year: 1990
  end-page: 253
  ident: br1060
  article-title: Invertible cellular automata: a review
  publication-title: Physica D
– start-page: 177
  year: 2014
  end-page: 189
  ident: br0560
  article-title: On DNA-based gellular automata
  publication-title: Unconventional Computation and Natural Computation. Proceedings
– volume: 223
  year: 2022
  ident: br0590
  article-title: Reversing an imperative concurrent programming language
  publication-title: Sci. Comput. Program.
– volume: 3
  start-page: 184
  year: 1960
  end-page: 195
  ident: br0820
  article-title: Recursive functions of symbolic expressions and their computation by machine
  publication-title: Commun. ACM
– volume: vol. 6601
  start-page: 144
  year: 2011
  end-page: 163
  ident: br0150
  article-title: Clean translation of an imperative reversible programming language
  publication-title: Compiler Construction. Proceedings
– volume: 14
  year: 2018
  ident: br0380
  article-title: A categorical foundation for structured reversible flowchart languages: soundness and adequacy
  publication-title: Log. Methods Comput. Sci.
– volume: vol. 3350
  start-page: 219
  year: 2005
  end-page: 234
  ident: br0640
  article-title: The program inverter LRinv and its structure
  publication-title: Practical Aspects of Declarative Languages. Proceedings
– volume: 290
  start-page: 2063
  year: 2003
  end-page: 2074
  ident: br0790
  article-title: Linear programs in a simple reversible language
  publication-title: Theor. Comput. Sci.
– volume: 36
  start-page: 257
  year: 2018
  end-page: 280
  ident: br1010
  article-title: Generation of reversible C++ code for optimistic parallel discrete event simulation
  publication-title: New Gener. Comput.
– volume: 53
  start-page: 39
  year: 2016
  end-page: 53
  ident: br1130
  article-title: SyReC: a hardware description language for the specification and synthesis of reversible circuits
  publication-title: Integration
– volume: vol. 7948
  start-page: 96
  year: 2013
  end-page: 109
  ident: br0100
  article-title: Reversible representation and manipulation of constructor terms in the heap
  publication-title: Reversible Computation. Proceedings
– volume: vol. 10301
  start-page: 35
  year: 2017
  end-page: 51
  ident: br0600
  article-title: Reversible nondeterministic finite automata
  publication-title: Reversible Computation. Proceedings
– start-page: 45
  year: 2021
  end-page: 63
  ident: br0870
  article-title: Reversible functional array programming
  publication-title: Reversible Computation. Proceedings
– volume: 36
  start-page: 233
  year: 2018
  end-page: 256
  ident: br0950
  article-title: On a class of reversible primitive recursive functions and its Turing-complete extensions
  publication-title: New Gener. Comput.
– volume: 29
  year: 2007
  ident: br0340
  article-title: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem
  publication-title: ACM Trans. Program. Lang. Syst.
– volume: 60
  start-page: 354
  year: 2000
  end-page: 367
  ident: br0750
  article-title: Reversible space equals deterministic space
  publication-title: J. Comput. Syst. Sci.
– start-page: 60
  year: 1982
  end-page: 66
  ident: br0270
  article-title: On the role of scientific thought (EWD447)
  publication-title: Selected Writings on Computing: A Personal Perspective
– volume: vol. 74
  start-page: 569
  year: 1974
  end-page: 574
  ident: br0680
  article-title: Predicate logic as programming language
  publication-title: Information Processing
– volume: vol. 373
  start-page: 1
  year: 2022
  end-page: 13
  ident: br0500
  article-title: Reversible programming: a case study of two string-matching algorithms
  publication-title: Horn Clauses for Verification and Synthesis, Verification and Program Transformation. Proceedings
– volume: vol. 12227
  start-page: 246
  year: 2020
  end-page: 254
  ident: br1090
  article-title: Reversible computations in logic programming
  publication-title: Reversible Computation. Proceedings
– volume: vol. 1837
  start-page: 187
  year: 2000
  end-page: 212
  ident: br0020
  article-title: The universal resolving algorithm: inverse computation in a functional language
  publication-title: Mathematics of Program Construction. Proceedings
– volume: 9
  start-page: 224
  year: 1999
  end-page: 253
  ident: br0210
  article-title: Efficient optimistic parallel simulations using reverse computation
  publication-title: ACM Trans. Model. Comput. Simul.
– volume: 147
  start-page: 32
  year: 2019
  end-page: 37
  ident: br0480
  article-title: Constructing a binary tree from its traversals by reversible recursion and iteration
  publication-title: Inf. Process. Lett.
– volume: vol. 12070
  start-page: 187
  year: 2020
  end-page: 207
  ident: br1020
  article-title: Reversible languages and incremental state saving in optimistic parallel discrete event simulation
  publication-title: Reversible Computation: Extending Horizons of Computing
– volume: 215
  year: 2022
  ident: br0920
  article-title: Time-symmetric Turing machines for computable involutions
  publication-title: Sci. Comput. Program.
– volume: 87
  start-page: 33
  year: 2017
  end-page: 50
  ident: br0620
  article-title: Join inverse categories and reversible recursion
  publication-title: J. Log. Algebraic Methods Program.
– volume: vol. 1974
  start-page: 201
  year: 2000
  end-page: 213
  ident: br0010
  article-title: Combining semantics with non-standard interpreter hierarchies
  publication-title: Foundations of Software Technology and Theoretical Computer Science. Proceedings
– year: 1993
  ident: br0610
  article-title: Partial Evaluation and Automatic Program Generation
– start-page: 435
  year: 2005
  end-page: 444
  ident: br1110
  article-title: Time, space, and energy in reversible computing
  publication-title: Conference on Computing Frontiers. Proceedings
– volume: vol. 12531
  start-page: 91
  year: 2020
  end-page: 106
  ident: br0300
  article-title: A reversible operational semantics for imperative programming languages
  publication-title: Formal Methods and Software Engineering. Proceedings
– year: 2010
  ident: br1120
  article-title: Towards a Design Flow for Reversible Logic
– volume: vol. 3125
  start-page: 289
  year: 2004
  end-page: 313
  ident: br0900
  article-title: An injective language for reversible computation
  publication-title: Mathematics of Program Construction. Proceedings
– start-page: 10
  year: 2003
  end-page: 19
  ident: br0510
  article-title: Transforming interpreters into inverse interpreters by partial evaluation
  publication-title: Partial Evaluation and Semantics-Based Program Manipulation. Proceedings
– volume: 22
  start-page: 424
  year: 1979
  end-page: 436
  ident: br0690
  article-title: Algorithm = logic + control
  publication-title: Commun. ACM
– year: 2017
  ident: br0890
  article-title: Theory of Reversible Computing
  publication-title: Monographs in Theoretical Computer Science
– volume: vol. 1755
  start-page: 93
  year: 2000
  end-page: 100
  ident: br0440
  article-title: Abstraction-based partial deduction for solving inverse problems: a transformational approach to software verification
  publication-title: Perspectives of System Informatics. Proceedings
– start-page: 288
  year: 2019
  end-page: 291
  ident: br0830
  article-title: Reversible pebbling game for quantum memory management
  publication-title: Design, Automation & Test in Europe Conference & Exhibition (DATE). Proceedings, EDAA
– volume: vol. 12070
  start-page: 41
  year: 2020
  end-page: 59
  ident: br0840
  article-title: Software and reversible systems: a survey of recent activities
  publication-title: Reversible Computation: Extending Horizons of Computing
– volume: vol. 12042
  start-page: 243
  year: 2020
  end-page: 259
  ident: br0650
  article-title: Semi-inversion of conditional constructor term rewriting systems
  publication-title: Logic-Based Program Synthesis and Transformation. Proceedings
– volume: 4
  year: 2020
  ident: br0800
  article-title: Sparcl: a language for partially-invertible computation
  publication-title: Proc. ACM Program. Lang.
– volume: 22
  year: 2020
  ident: br0240
  article-title: Endoreversible models for the thermodynamics of computing
  publication-title: Entropy
– volume: E100-D
  start-page: 1026
  year: 2017
  end-page: 1034
  ident: br0470
  article-title: A minimalist's reversible while language
  publication-title: IEICE Trans. Inf. Syst.
– start-page: 43
  year: 2008
  end-page: 54
  ident: br1150
  article-title: Principles of a reversible programming language
  publication-title: Conference on Computing Frontiers. Proceedings
– volume: vol. 12805
  start-page: 96
  year: 2021
  end-page: 106
  ident: br0580
  article-title: Towards a unified language architecture for reversible object-oriented programming
  publication-title: Reversible Computation. Proceedings
– volume: 483
  start-page: 187
  year: 2012
  end-page: 189
  ident: br0190
  article-title: Experimental verification of Landauer's principle linking information and thermodynamics
  publication-title: Nature
– volume: 347
  start-page: 441
  year: 2005
  end-page: 464
  ident: br0060
  article-title: A structural approach to reversible computation
  publication-title: Theor. Comput. Sci.
– volume: 79
  start-page: 20
  year: 2009
  end-page: 21
  ident: br0140
  article-title: MicroPower: towards low-power microprocessors with reversible computing
  publication-title: ERCIM News, Special Theme: Towards Green ICT
– year: 2009
  ident: br0540
  article-title: GDB: the GNU project debugger. GDB and reverse debugging
– start-page: 391
  year: 1978
  end-page: 420
  ident: br0290
  article-title: On the essence of compilation
  publication-title: Formal Description of Programming Concepts
– volume: 18
  start-page: 766
  year: 1989
  end-page: 776
  ident: br0180
  article-title: Time/space trade-offs for reversible computation
  publication-title: SIAM J. Comput.
– volume: 38
  start-page: 137
  year: 2004
  end-page: 161
  ident: br0710
  article-title: Time and space complexity of reversible pebbling
  publication-title: RAIRO Theor. Inform. Appl.
– volume: 36
  start-page: 625
  year: 2018
  end-page: 654
  ident: br0760
  article-title: Modelling reversible execution of robotic assembly
  publication-title: Robotica
– volume: vol. 7165
  start-page: 30
  year: 2012
  end-page: 42
  ident: br1050
  article-title: A reversible processor architecture and its reversible logic design
  publication-title: Reversible Computation. Proceedings
– volume: 2
  start-page: 45
  year: 1971
  end-page: 50
  ident: br0370
  article-title: Partial evaluation of computing process – an approach to a compiler-compiler
  publication-title: Syst. Comput. Controls
– volume: 40
  start-page: 8
  year: 2005
  end-page: 17
  ident: br0410
  article-title: Revisiting an automatic program inverter for Lisp
  publication-title: SIGPLAN Not.
– volume: vol. 2895
  start-page: 246
  year: 2003
  end-page: 264
  ident: br0390
  article-title: A program inverter for a functional language with equality and constructors
  publication-title: Programming Languages and Systems. Proceedings
– year: 1986
  ident: br0780
  article-title: Janus: a time-reversible language
– volume: vol. 637
  start-page: 507
  year: 1992
  end-page: 524
  ident: br0160
  article-title: NREVERSAL of fortune — the thermodynamics of garbage collection
  publication-title: International Workshop on Memory Management. Proceedings
– volume: vol. 10818
  start-page: 247
  year: 2018
  end-page: 263
  ident: br0740
  article-title: CauDEr: a causal-consistent reversible debugger for Erlang
  publication-title: Functional and Logic Programming. Proceedings
– volume: 14
  start-page: 636
  year: 1967
  end-page: 644
  ident: br0330
  article-title: Nondeterministic algorithms
  publication-title: J. ACM
– volume: 17
  start-page: 525
  year: 1973
  end-page: 532
  ident: br0170
  article-title: Logical reversibility of computation
  publication-title: IBM J. Res. Dev.
– volume: 12
  start-page: 171
  year: 2001
  end-page: 211
  ident: br0030
  article-title: From standard to non-standard semantics by semantics modifiers
  publication-title: Int. J. Found. Comput. Sci.
– start-page: 377
  year: 2017
  end-page: 389
  ident: br0940
  article-title: Engineering record and replay for deployability
  publication-title: USENIX Annual Technical Conference. Proceedings
– volume: 17
  start-page: 439
  year: 1987
  end-page: 453
  ident: br0200
  article-title: Generating reversible programs
  publication-title: Softw. Pract. Exp.
– volume: 43
  year: 2010
  ident: br1040
  article-title: Reversible arithmetic logic unit for quantum arithmetic
  publication-title: J. Phys. A, Math. Theor.
– volume: vol. 12233
  start-page: 410
  year: 2020
  end-page: 412
  ident: br0530
  article-title: Reversible computing from a programming language perspective (extended abstract)
  publication-title: Formal Methods. FM 2019 International Workshops. Part II. Proceedings
– volume: 53
  start-page: 509
  year: 2016
  end-page: 543
  ident: br0110
  article-title: On reversible Turing machines and their function universality
  publication-title: Acta Inform.
– volume: vol. 5126
  start-page: 258
  year: 2008
  end-page: 270
  ident: br1160
  article-title: Reversible flowchart languages and the structured reversible program theorem
  publication-title: Automata, Languages and Programming. Proceedings. Part II
– volume: vol. 1868
  start-page: 95
  year: 2000
  end-page: 113
  ident: br0660
  article-title: A reversible SE(M)CD machine
  publication-title: Implementation of Functional Languages. Proceedings
– volume: 8
  start-page: 50
  year: 1986
  end-page: 97
  ident: br0770
  article-title: A formal approach to undo operations in programming languages
  publication-title: ACM Trans. Program. Lang. Syst.
– volume: vol. 12227
  start-page: 54
  year: 2020
  end-page: 70
  ident: br0910
  article-title: Involutory Turing machines
  publication-title: Reversible Computation. Proceedings
– volume: vol. 69
  start-page: 54
  year: 1978
  end-page: 57
  ident: br0260
  article-title: Program inversion
  publication-title: Program Construction: International Summer School
– volume: 64
  start-page: 18
  year: 2021
  end-page: 20
  ident: br0700
  article-title: Taking the heat
  publication-title: Commun. ACM
– volume: 45
  start-page: 213
  year: 1995
  end-page: 243
  ident: br0420
  article-title: Metasystem transition schemes in computer science and mathematics
  publication-title: World Futures
– start-page: 64
  year: 2021
  end-page: 78
  ident: br0720
  article-title: Compiling Janus to RSSA
  publication-title: Reversible Computation. Proceedings
– volume: vol. 12070
  start-page: 1
  year: 2020
  end-page: 40
  ident: br0070
  article-title: Foundations of reversible computation
  publication-title: Reversible Computation: Extending Horizons of Computing
– volume: 215
  year: 2022
  ident: br0880
  article-title: Hermes: a reversible language for lightweight encryption
  publication-title: Sci. Comput. Program.
– volume: vol. 267
  start-page: 237
  year: 1987
  end-page: 249
  ident: br0990
  article-title: On the languages accepted by finite reversible automata
  publication-title: Automata, Languages and Programming. Proceedings
– volume: vol. 6638
  start-page: 117
  year: 2011
  end-page: 128
  ident: br0080
  article-title: A simple and efficient universal reversible Turing machine
  publication-title: Language and Automata Theory and Applications. Proceedings
– volume: 43
  start-page: 193
  year: 2002
  end-page: 229
  ident: br0050
  article-title: The universal resolving algorithm and its correctness: inverse computation in a functional language
  publication-title: Sci. Comput. Program.
– volume: vol. 9609
  start-page: 203
  year: 2016
  end-page: 217
  ident: br0850
  article-title: RSSA: a reversible SSA form
  publication-title: Perspectives of System Informatics. Proceedings
– year: 2014
  ident: br0970
  article-title: Introduction to Reversible Computing
– volume: 9
  start-page: 224
  year: 1999
  ident: 10.1016/j.tcs.2022.06.010_br0210
  article-title: Efficient optimistic parallel simulations using reverse computation
  publication-title: ACM Trans. Model. Comput. Simul.
  doi: 10.1145/347823.347828
– volume: 36
  start-page: 145
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0630
  article-title: Reversible cellular automata: from fundamental classical results to recent developments
  publication-title: New Gener. Comput.
  doi: 10.1007/s00354-018-0034-6
– volume: 38
  start-page: 137
  year: 2004
  ident: 10.1016/j.tcs.2022.06.010_br0710
  article-title: Time and space complexity of reversible pebbling
  publication-title: RAIRO Theor. Inform. Appl.
  doi: 10.1051/ita:2004008
– volume: 14
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0380
  article-title: A categorical foundation for structured reversible flowchart languages: soundness and adequacy
  publication-title: Log. Methods Comput. Sci.
– year: 2014
  ident: 10.1016/j.tcs.2022.06.010_br0970
– volume: 66
  start-page: 367
  year: 2005
  ident: 10.1016/j.tcs.2022.06.010_br0400
  article-title: A method for automatic program inversion based on LR(0) parsing
  publication-title: Fundam. Inform.
– year: 2010
  ident: 10.1016/j.tcs.2022.06.010_br0230
– volume: 87
  start-page: 33
  year: 2017
  ident: 10.1016/j.tcs.2022.06.010_br0620
  article-title: Join inverse categories and reversible recursion
  publication-title: J. Log. Algebraic Methods Program.
  doi: 10.1016/j.jlamp.2016.08.003
– volume: vol. 1974
  start-page: 201
  year: 2000
  ident: 10.1016/j.tcs.2022.06.010_br0010
  article-title: Combining semantics with non-standard interpreter hierarchies
– volume: 14
  start-page: 636
  year: 1967
  ident: 10.1016/j.tcs.2022.06.010_br0330
  article-title: Nondeterministic algorithms
  publication-title: J. ACM
  doi: 10.1145/321420.321422
– volume: 43
  start-page: 193
  year: 2002
  ident: 10.1016/j.tcs.2022.06.010_br0050
  article-title: The universal resolving algorithm and its correctness: inverse computation in a functional language
  publication-title: Sci. Comput. Program.
  doi: 10.1016/S0167-6423(02)00023-0
– volume: vol. 7165
  start-page: 14
  year: 2012
  ident: 10.1016/j.tcs.2022.06.010_br1180
  article-title: Towards a reversible functional language
– volume: 64
  start-page: 18
  year: 2021
  ident: 10.1016/j.tcs.2022.06.010_br0700
  article-title: Taking the heat
  publication-title: Commun. ACM
  doi: 10.1145/3460214
– volume: vol. 9720
  start-page: 153
  year: 2016
  ident: 10.1016/j.tcs.2022.06.010_br1030
  article-title: Elements of a reversible object-oriented language
– start-page: 43
  year: 2008
  ident: 10.1016/j.tcs.2022.06.010_br1150
  article-title: Principles of a reversible programming language
– volume: vol. 11106
  start-page: 269
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0220
  article-title: Data structures and dynamic memory management in reversible languages
– year: 1999
  ident: 10.1016/j.tcs.2022.06.010_br0350
– volume: 36
  start-page: 233
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0950
  article-title: On a class of reversible primitive recursive functions and its Turing-complete extensions
  publication-title: New Gener. Comput.
  doi: 10.1007/s00354-018-0039-1
– start-page: 144
  year: 2007
  ident: 10.1016/j.tcs.2022.06.010_br1140
  article-title: A reversible programming language and its invertible self-interpreter
– volume: vol. 1755
  start-page: 93
  year: 2000
  ident: 10.1016/j.tcs.2022.06.010_br0440
  article-title: Abstraction-based partial deduction for solving inverse problems: a transformational approach to software verification
– volume: 16
  start-page: 75
  year: 1998
  ident: 10.1016/j.tcs.2022.06.010_br0430
  article-title: On the degeneration of program generators by program composition
  publication-title: New Gener. Comput.
  doi: 10.1007/BF03037321
– start-page: 265
  year: 1981
  ident: 10.1016/j.tcs.2022.06.010_br0550
– volume: vol. 10301
  start-page: 66
  year: 2017
  ident: 10.1016/j.tcs.2022.06.010_br0570
  article-title: Implementing reversible object-oriented language features on reversible machines
– volume: 45
  start-page: 213
  year: 1995
  ident: 10.1016/j.tcs.2022.06.010_br0420
  article-title: Metasystem transition schemes in computer science and mathematics
  publication-title: World Futures
  doi: 10.1080/02604027.1995.9972561
– volume: vol. 12042
  start-page: 243
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0650
  article-title: Semi-inversion of conditional constructor term rewriting systems
– start-page: 435
  year: 2005
  ident: 10.1016/j.tcs.2022.06.010_br1110
  article-title: Time, space, and energy in reversible computing
– volume: vol. 3350
  start-page: 219
  year: 2005
  ident: 10.1016/j.tcs.2022.06.010_br0640
  article-title: The program inverter LRinv and its structure
– start-page: 177
  year: 1956
  ident: 10.1016/j.tcs.2022.06.010_br0810
  article-title: The inversion of functions defined by Turing machines
– volume: 3
  start-page: 184
  year: 1960
  ident: 10.1016/j.tcs.2022.06.010_br0820
  article-title: Recursive functions of symbolic expressions and their computation by machine
  publication-title: Commun. ACM
  doi: 10.1145/367177.367199
– volume: vol. 2895
  start-page: 246
  year: 2003
  ident: 10.1016/j.tcs.2022.06.010_br0390
  article-title: A program inverter for a functional language with equality and constructors
– volume: 33
  start-page: 108
  year: 2016
  ident: 10.1016/j.tcs.2022.06.010_br0460
  article-title: A linear-time self-interpreter of a reversible imperative language
  publication-title: Comput. Softw.
– volume: 43
  year: 2010
  ident: 10.1016/j.tcs.2022.06.010_br1040
  article-title: Reversible arithmetic logic unit for quantum arithmetic
  publication-title: J. Phys. A, Math. Theor.
  doi: 10.1088/1751-8113/43/38/382002
– volume: 17
  start-page: 439
  year: 1987
  ident: 10.1016/j.tcs.2022.06.010_br0200
  article-title: Generating reversible programs
  publication-title: Softw. Pract. Exp.
  doi: 10.1002/spe.4380170703
– year: 2010
  ident: 10.1016/j.tcs.2022.06.010_br1120
– volume: vol. 2566
  start-page: 269
  year: 2002
  ident: 10.1016/j.tcs.2022.06.010_br0040
  article-title: Principles of inverse computation and the universal resolving algorithm
– year: 1999
  ident: 10.1016/j.tcs.2022.06.010_br0960
– volume: vol. 12227
  start-page: 54
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0910
  article-title: Involutory Turing machines
– start-page: 60
  year: 1982
  ident: 10.1016/j.tcs.2022.06.010_br0270
  article-title: On the role of scientific thought (EWD447)
– volume: 16
  start-page: 507
  year: 1986
  ident: 10.1016/j.tcs.2022.06.010_br0310
  article-title: Quantum mechanical computers
  publication-title: Found. Phys.
  doi: 10.1007/BF01886518
– volume: vol. 637
  start-page: 507
  year: 1992
  ident: 10.1016/j.tcs.2022.06.010_br0160
  article-title: NREVERSAL of fortune — the thermodynamics of garbage collection
– start-page: 288
  year: 2019
  ident: 10.1016/j.tcs.2022.06.010_br0830
  article-title: Reversible pebbling game for quantum memory management
– volume: vol. 3125
  start-page: 289
  year: 2004
  ident: 10.1016/j.tcs.2022.06.010_br0900
  article-title: An injective language for reversible computation
– start-page: 377
  year: 2017
  ident: 10.1016/j.tcs.2022.06.010_br0940
  article-title: Engineering record and replay for deployability
– volume: vol. 12070
  start-page: 1
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0070
  article-title: Foundations of reversible computation
– volume: 60
  start-page: 354
  year: 2000
  ident: 10.1016/j.tcs.2022.06.010_br0750
  article-title: Reversible space equals deterministic space
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1006/jcss.1999.1672
– start-page: 138
  year: 1998
  ident: 10.1016/j.tcs.2022.06.010_br1100
  article-title: A fully reversible asymptotically zero energy microprocessor
– volume: vol. 12227
  start-page: 246
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br1090
  article-title: Reversible computations in logic programming
– volume: vol. 85
  start-page: 632
  year: 1980
  ident: 10.1016/j.tcs.2022.06.010_br1070
  article-title: Reversible computing
– volume: 22
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0240
  article-title: Endoreversible models for the thermodynamics of computing
  publication-title: Entropy
  doi: 10.3390/e22060660
– year: 2017
  ident: 10.1016/j.tcs.2022.06.010_br0890
  article-title: Theory of Reversible Computing
  doi: 10.1007/978-4-431-56606-9
– volume: 8
  start-page: 557
  year: 1965
  ident: 10.1016/j.tcs.2022.06.010_br1000
  article-title: On reversible subroutines and computers that run backwards
  publication-title: Commun. ACM
  doi: 10.1145/365559.365593
– start-page: 13
  year: 2021
  ident: 10.1016/j.tcs.2022.06.010_br0250
  article-title: Program analysis for reversible languages
– volume: 5
  start-page: 183
  year: 1961
  ident: 10.1016/j.tcs.2022.06.010_br0730
  article-title: Irreversibility and heat generation in the computing process
  publication-title: IBM J. Res. Dev.
  doi: 10.1147/rd.53.0183
– volume: 8
  start-page: 50
  year: 1986
  ident: 10.1016/j.tcs.2022.06.010_br0770
  article-title: A formal approach to undo operations in programming languages
  publication-title: ACM Trans. Program. Lang. Syst.
  doi: 10.1145/5001.5005
– volume: vol. 12805
  start-page: 96
  year: 2021
  ident: 10.1016/j.tcs.2022.06.010_br0580
  article-title: Towards a unified language architecture for reversible object-oriented programming
– volume: vol. 10301
  start-page: 35
  year: 2017
  ident: 10.1016/j.tcs.2022.06.010_br0600
  article-title: Reversible nondeterministic finite automata
– volume: vol. 6601
  start-page: 144
  year: 2011
  ident: 10.1016/j.tcs.2022.06.010_br0150
  article-title: Clean translation of an imperative reversible programming language
– volume: vol. 12233
  start-page: 410
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0530
  article-title: Reversible computing from a programming language perspective (extended abstract)
– volume: 223
  year: 2022
  ident: 10.1016/j.tcs.2022.06.010_br0590
  article-title: Reversing an imperative concurrent programming language
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2022.102873
– volume: 215
  year: 2022
  ident: 10.1016/j.tcs.2022.06.010_br0880
  article-title: Hermes: a reversible language for lightweight encryption
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2021.102746
– volume: 36
  start-page: 257
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br1010
  article-title: Generation of reversible C++ code for optimistic parallel discrete event simulation
  publication-title: New Gener. Comput.
  doi: 10.1007/s00354-018-0038-2
– volume: 22
  start-page: 424
  year: 1979
  ident: 10.1016/j.tcs.2022.06.010_br0690
  article-title: Algorithm = logic + control
  publication-title: Commun. ACM
  doi: 10.1145/359131.359136
– volume: vol. 373
  start-page: 1
  year: 2022
  ident: 10.1016/j.tcs.2022.06.010_br0500
  article-title: Reversible programming: a case study of two string-matching algorithms
– volume: 347
  start-page: 441
  year: 2005
  ident: 10.1016/j.tcs.2022.06.010_br0060
  article-title: A structural approach to reversible computation
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2005.07.002
– volume: vol. 7165
  start-page: 30
  year: 2012
  ident: 10.1016/j.tcs.2022.06.010_br1050
  article-title: A reversible processor architecture and its reversible logic design
– ident: 10.1016/j.tcs.2022.06.010_br0780
– volume: 215
  year: 2022
  ident: 10.1016/j.tcs.2022.06.010_br0920
  article-title: Time-symmetric Turing machines for computable involutions
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2021.102748
– volume: vol. 6604
  start-page: 42
  year: 2011
  ident: 10.1016/j.tcs.2022.06.010_br0090
  article-title: What do reversible programs compute?
– volume: vol. 9458
  start-page: 407
  year: 2015
  ident: 10.1016/j.tcs.2022.06.010_br0120
  article-title: Programming techniques for reversible comparison sorts
– volume: vol. 12070
  start-page: 187
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br1020
  article-title: Reversible languages and incremental state saving in optimistic parallel discrete event simulation
– volume: vol. 1868
  start-page: 95
  year: 2000
  ident: 10.1016/j.tcs.2022.06.010_br0660
  article-title: A reversible SE(M)CD machine
– start-page: 286
  year: 1990
  ident: 10.1016/j.tcs.2022.06.010_br0450
  article-title: Application of metasystem transition to function inversion and transformation
– volume: 611
  start-page: 87
  year: 2016
  ident: 10.1016/j.tcs.2022.06.010_br1190
  article-title: Fundamentals of reversible flowchart languages
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2015.07.046
– volume: 920
  start-page: 46
  year: 2022
  ident: 10.1016/j.tcs.2022.06.010_br0520
  article-title: From reversible programming languages to reversible metalanguages
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2022.02.024
– volume: vol. 9609
  start-page: 203
  year: 2016
  ident: 10.1016/j.tcs.2022.06.010_br0850
  article-title: RSSA: a reversible SSA form
– volume: vol. 9138
  start-page: 45
  year: 2015
  ident: 10.1016/j.tcs.2022.06.010_br0980
  article-title: Real-time methods in reversible computation
– volume: 483
  start-page: 187
  year: 2012
  ident: 10.1016/j.tcs.2022.06.010_br0190
  article-title: Experimental verification of Landauer's principle linking information and thermodynamics
  publication-title: Nature
  doi: 10.1038/nature10872
– volume: 21
  start-page: 219
  year: 1982
  ident: 10.1016/j.tcs.2022.06.010_br0360
  article-title: Conservative logic
  publication-title: Int. J. Theor. Phys.
  doi: 10.1007/BF01857727
– volume: 29
  year: 2007
  ident: 10.1016/j.tcs.2022.06.010_br0340
  article-title: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem
  publication-title: ACM Trans. Program. Lang. Syst.
  doi: 10.1145/1232420.1232424
– volume: 147
  start-page: 32
  year: 2019
  ident: 10.1016/j.tcs.2022.06.010_br0480
  article-title: Constructing a binary tree from its traversals by reversible recursion and iteration
  publication-title: Inf. Process. Lett.
  doi: 10.1016/j.ipl.2019.03.002
– ident: 10.1016/j.tcs.2022.06.010_br0540
– start-page: 177
  year: 2014
  ident: 10.1016/j.tcs.2022.06.010_br0560
  article-title: On DNA-based gellular automata
– volume: vol. 69
  start-page: 54
  year: 1978
  ident: 10.1016/j.tcs.2022.06.010_br0260
  article-title: Program inversion
– volume: vol. 12531
  start-page: 91
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0300
  article-title: A reversible operational semantics for imperative programming languages
– start-page: 1007
  year: 1981
  ident: 10.1016/j.tcs.2022.06.010_br0670
  article-title: Inversion of applicative programs
– volume: vol. 1
  start-page: 219
  year: 1985
  ident: 10.1016/j.tcs.2022.06.010_br0280
  article-title: A heuristic approach to program inversion
– start-page: 47
  year: 1982
  ident: 10.1016/j.tcs.2022.06.010_br1080
  article-title: Experiments with a supercompiler
– volume: 18
  start-page: 5
  year: 2012
  ident: 10.1016/j.tcs.2022.06.010_br1170
  article-title: Optimizing reversible simulation of injective functions
  publication-title: J. Mult.-Valued Log. Soft Comput.
– volume: vol. 4649
  start-page: 56
  year: 2007
  ident: 10.1016/j.tcs.2022.06.010_br0130
  article-title: Reversible machine code and its abstract processor architecture
– start-page: 45
  year: 2021
  ident: 10.1016/j.tcs.2022.06.010_br0870
  article-title: Reversible functional array programming
– volume: 94
  start-page: 128
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0930
  article-title: Reversible computation in term rewriting
  publication-title: J. Log. Algebraic Methods Program.
  doi: 10.1016/j.jlamp.2017.10.003
– volume: 2
  start-page: 45
  year: 1971
  ident: 10.1016/j.tcs.2022.06.010_br0370
  article-title: Partial evaluation of computing process – an approach to a compiler-compiler
  publication-title: Syst. Comput. Controls
– volume: 53
  start-page: 39
  year: 2016
  ident: 10.1016/j.tcs.2022.06.010_br1130
  article-title: SyReC: a hardware description language for the specification and synthesis of reversible circuits
  publication-title: Integration
  doi: 10.1016/j.vlsi.2015.10.001
– start-page: 137
  year: 1996
  ident: 10.1016/j.tcs.2022.06.010_br0320
  article-title: Reversible computation and the thermodynamics of computing (chapter 5)
– ident: 10.1016/j.tcs.2022.06.010_br0610
– volume: 40
  start-page: 8
  year: 2005
  ident: 10.1016/j.tcs.2022.06.010_br0410
  article-title: Revisiting an automatic program inverter for Lisp
  publication-title: SIGPLAN Not.
  doi: 10.1145/1071221.1071222
– volume: 290
  start-page: 2063
  year: 2003
  ident: 10.1016/j.tcs.2022.06.010_br0790
  article-title: Linear programs in a simple reversible language
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(02)00486-3
– start-page: 10
  year: 2003
  ident: 10.1016/j.tcs.2022.06.010_br0510
  article-title: Transforming interpreters into inverse interpreters by partial evaluation
– volume: vol. 74
  start-page: 569
  year: 1974
  ident: 10.1016/j.tcs.2022.06.010_br0680
  article-title: Predicate logic as programming language
– volume: vol. 12070
  start-page: 41
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0840
  article-title: Software and reversible systems: a survey of recent activities
– volume: 40
  start-page: 467
  year: 2022
  ident: 10.1016/j.tcs.2022.06.010_br0490
  article-title: Making programs reversible with minimal extra data
  publication-title: New Gener. Comput.
  doi: 10.1007/s00354-022-00169-z
– volume: vol. 7948
  start-page: 96
  year: 2013
  ident: 10.1016/j.tcs.2022.06.010_br0100
  article-title: Reversible representation and manipulation of constructor terms in the heap
– volume: 45
  start-page: 229
  year: 1990
  ident: 10.1016/j.tcs.2022.06.010_br1060
  article-title: Invertible cellular automata: a review
  publication-title: Physica D
  doi: 10.1016/0167-2789(90)90185-R
– start-page: 391
  year: 1978
  ident: 10.1016/j.tcs.2022.06.010_br0290
  article-title: On the essence of compilation
– volume: 79
  start-page: 20
  year: 2009
  ident: 10.1016/j.tcs.2022.06.010_br0140
  article-title: MicroPower: towards low-power microprocessors with reversible computing
  publication-title: ERCIM News, Special Theme: Towards Green ICT
– volume: 36
  start-page: 625
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0760
  article-title: Modelling reversible execution of robotic assembly
  publication-title: Robotica
  doi: 10.1017/S0263574717000613
– volume: 12
  start-page: 171
  year: 2001
  ident: 10.1016/j.tcs.2022.06.010_br0030
  article-title: From standard to non-standard semantics by semantics modifiers
  publication-title: Int. J. Found. Comput. Sci.
  doi: 10.1142/S0129054101000448
– start-page: 64
  year: 2021
  ident: 10.1016/j.tcs.2022.06.010_br0720
  article-title: Compiling Janus to RSSA
– volume: vol. 1837
  start-page: 187
  year: 2000
  ident: 10.1016/j.tcs.2022.06.010_br0020
  article-title: The universal resolving algorithm: inverse computation in a functional language
– volume: 53
  start-page: 509
  year: 2016
  ident: 10.1016/j.tcs.2022.06.010_br0110
  article-title: On reversible Turing machines and their function universality
  publication-title: Acta Inform.
  doi: 10.1007/s00236-015-0253-y
– volume: vol. 5126
  start-page: 258
  year: 2008
  ident: 10.1016/j.tcs.2022.06.010_br1160
  article-title: Reversible flowchart languages and the structured reversible program theorem
– volume: 4
  year: 2020
  ident: 10.1016/j.tcs.2022.06.010_br0800
  article-title: Sparcl: a language for partially-invertible computation
  publication-title: Proc. ACM Program. Lang.
  doi: 10.1145/3409000
– volume: 36
  start-page: 203
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0860
  article-title: Reversible garbage collection for reversible functional languages
  publication-title: New Gener. Comput.
  doi: 10.1007/s00354-018-0037-3
– volume: vol. 267
  start-page: 237
  year: 1987
  ident: 10.1016/j.tcs.2022.06.010_br0990
  article-title: On the languages accepted by finite reversible automata
– volume: E100-D
  start-page: 1026
  year: 2017
  ident: 10.1016/j.tcs.2022.06.010_br0470
  article-title: A minimalist's reversible while language
  publication-title: IEICE Trans. Inf. Syst.
  doi: 10.1587/transinf.2016EDP7274
– volume: vol. 10818
  start-page: 247
  year: 2018
  ident: 10.1016/j.tcs.2022.06.010_br0740
  article-title: CauDEr: a causal-consistent reversible debugger for Erlang
– volume: 17
  start-page: 525
  year: 1973
  ident: 10.1016/j.tcs.2022.06.010_br0170
  article-title: Logical reversibility of computation
  publication-title: IBM J. Res. Dev.
  doi: 10.1147/rd.176.0525
– volume: 18
  start-page: 766
  year: 1989
  ident: 10.1016/j.tcs.2022.06.010_br0180
  article-title: Time/space trade-offs for reversible computation
  publication-title: SIAM J. Comput.
  doi: 10.1137/0218053
– volume: vol. 6638
  start-page: 117
  year: 2011
  ident: 10.1016/j.tcs.2022.06.010_br0080
  article-title: A simple and efficient universal reversible Turing machine
SSID ssj0000576
Score 2.4291549
Snippet Software plays a central role in all aspects of reversible computing systems, and a variety of reversible programming languages have been developed. This...
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 113429
SubjectTerms Compute-uncompute
Function injectivization
Inverse interpretation
Metacomputation
Program inversion
Program reversibilization
Reversible computing
Reversible programming
Title Reversible computing from a programming language perspective
URI https://dx.doi.org/10.1016/j.tcs.2022.06.010
Volume 953
WOSCitedRecordID wos000955653900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: ScienceDirect
  customDbUrl:
  eissn: 1879-2294
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000576
  issn: 0304-3975
  databaseCode: AIEXJ
  dateStart: 20211212
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELaqpQc49LFQldJWPnCiCkpsh9gSF4qo2qpFqFqkvUV-SuWRXW2y1fLvsWM7G2gXlQOXKLESJ8rnjCee75sBYJcJozVPRWKI1k6SYxKeI2kPFUeFyDlVrVD4R3F6Ssdjdhaq2ddtOYGiquhiwaZPCrVts2A76ewj4O46tQ1234JutxZ2u_0v4H_plmnhFFGyLdnQciWdioRHNta1a4orlS5zcV9vGV3VUU_iKEPth09hwuxYO1cu0P752NtUz9Je2pHLyQ2_bp3TkW7q-aS_woCwC5YErmlQVrnoCfMVTqLVZDnu2b0sw8SvXPxlkv3qwMV-I112dITadKmh-zvpr-9NSx1ZMPLQLkrbRem6KB0Xz-nq1lCRMzoAa0ffTsbflzNwXvgYdXjuGM1ueX33nuPf_kjPxxi9Ai_CzwE88qC-Bs90NQQvY-ENGOzwEGz87JLt1pvgcIk47BCHDnHIYQ9xGBGHPcS3wPmXk9Hx1yQUxUik9b2aRCAsUqbwAWEZx4Ww7jBlEqX2e9MkxdqIjBtimFQpFUIYJrQylGSKkwPBJcZvwKCaVPotgAXjKkPCEPdTSZng1jnVShnFqMaaoG2QxldTypAx3hUuuSpXQrIN9rpLpj5dykMnk_i-yzB8vR9X2rGz-rJ3j7nHDlhfDun3YNDM5voDeC7_NL_r2ccwcG4BXPt4Mw
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Reversible+computing+from+a+programming+language+perspective&rft.jtitle=Theoretical+computer+science&rft.au=Gl%C3%BCck%2C+Robert&rft.au=Yokoyama%2C+Tetsuo&rft.date=2023-04-10&rft.issn=0304-3975&rft.volume=953&rft.spage=113429&rft_id=info:doi/10.1016%2Fj.tcs.2022.06.010&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_tcs_2022_06_010
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon