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...
Gespeichert in:
| Veröffentlicht in: | Theoretical computer science Jg. 953; S. 113429 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier B.V
10.04.2023
|
| Schlagworte: | |
| ISSN: | 0304-3975, 1879-2294 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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.4292371 |
| 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: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-2294 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AIEXJ dateStart: 20211213 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Nb9QwELWqbQ9woB-AKLTIh55AqRLHm9gSl7ZqBZVaIVikvUW240j0I1t1U9T--874IxsoIEDiEq2s9Xrl50wm9pv3CNkZGxQlr0WihDUJL0WTSJNnSSFMIXgNMVFoZzZRnp6K6VR-DAbjc2cnULatuL2VV_8VamgDsLF09i_g7n8UGuAzgA5XgB2ufwT8J-uYFlgRZZxlg-NKYhWJimysS2yKO5WoXDyst4yp6mRQ4miC98Pb8MDsWTsXeNC-f-BjqmdpL-LI-exOXbrkdGK7-c1suMPAcjwsCVxTt-31oPTFl1vhkYr0tie71kdPUcqEMe9aHMOr9GLAD0K13zU42-0MqqYz5mRUw7DfK2B_xrFwKIZMugJFXpdZOZZiRJb3PhxOjxeP3nHpD6fDf4vH2I7Q98NAP09EBsnFZI08CW8FdM-juU6WbLtBVqPjBg0BeIM8PulVdudPybsF1LSHmiLUVNEB1DRCTQdQPyNfjg4nB--T4IaRGEi6ukSzXKeyhltLZiovNeTBQhqWqlRbnua20ZlqeCNNnQqtdSO1rRvBs1rxQiuT58_JqJ219gWhgnOjdZ3aAnqMsxzuyFoVkKkya7hmfJOkcWoqE6Ti0bHkooqcwLMKZrPC2ayQF5mlm-RN3-XK66T87ss8zncV1q1P4CpYHL_u9vLfur0ijxareouMuusbu01WzLfu6_z6dVhC93r6dzQ |
| 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.pub=Elsevier+B.V&rft.issn=0304-3975&rft.eissn=1879-2294&rft.volume=953&rft_id=info:doi/10.1016%2Fj.tcs.2022.06.010&rft.externalDocID=S0304397522003619 |
| 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 |