Reversible programming language (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Reversible programming language" in English language version.

Last modified: 18:40:41, 9 April 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2511doi.org

2^nd place

2511dblp.org

low place

221vikraman.org

low place

128arxiv.org

49^th place

31^st place

43hdl.handle.net

66^th place

34^th place

11diku.dk

low place

11cra.org

low place

11cnrs.fr

1,895^th place

4,152^nd place

11reversible-computation-2020.github.io

low place

11adsabs.harvard.edu

14^th place

9^th place

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

ui.adsabs.harvard.edu

Lanese, Ivan; Schultz, Ulrik Pagh; Ulidowski, Irek (2022). "Reversible Computing in Debugging of Erlang Programs". IT Professional. 24 (1): 74–80. Bibcode:2022ITPro..24a..74L. doi:10.1109/MITP.2021.3117920. hdl:11585/884503. Reversible programming language at DBLP Bibliography Server.

arxiv.org (Global: 49^th place; English: 31^st place)

Thomsen, Michael Kirkedal (2023). "Design of Reversible Computing Systems; Large Logic, Languages, and Circuits". arXiv:2309.11832 [cs.PL].
Palazzo, Matteo; Roversi, Luca (2025). "Reversible Computation with Stacks and "Reversible Management of Failures"". arXiv:2501.05259 [cs.PL].
Tyagi, Nirvan; Lynch, Jayson; Demaine, Erik D. (2016). "Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms". arXiv:1605.08475 [cs.PL].
Kaarsgaard, Robin; Rennela, Mathys (2021). "Join inverse rig categories for reversible functional programming, and beyond". In Sokolova, Ana (ed.). Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS. Vol. 351. pp. 152–167. arXiv:2105.09929. doi:10.4204/EPTCS.351.10. Reversible programming language at DBLP Bibliography Server.
Haulund, Tue (2017). "Design and Implementation of a Reversible Object-Oriented Programming Language". arXiv:1707.07845 [cs.PL].
Thomsen, Michael Kirkedal (2023). "Design of Reversible Computing Systems; Large Logic, Languages, and Circuits". arXiv:2309.11832 [cs.PL].
Grandi, Claudio; Moshiri, Dariush; Roversi, Luca (2019). "Introducing Yet Another Reversible Language". arXiv:1902.05369 [cs.PL].
Amy, Matthew; Roetteler, Martin; Svore, Krysta M. (2016). "Verified Compilation of Space-Efficient Reversible Circuits". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10427. pp. 3–21. arXiv:1603.01635. doi:10.1007/978-3-319-63390-9_1. ISBN 978-3-319-63389-3.

cnrs.fr (Global: 1,895^th place; English: 4,152^nd place)

aubert.perso.math.cnrs.fr

"Reversible Computation" (PDF). Classroom Presentation at Appalachian State University. Retrieved April 9, 2025.

cra.org (Global: low place; English: low place)

"Reversible Algorithms" (PDF). Computing Research Association. Retrieved April 9, 2025.

dblp.org (Global: low place; English: low place)

Thomsen, Michael Kirkedal; Axelsen, Holger Bock; Glück, Robert (2011). "A Reversible Processor Architecture and Its Reversible Logic Design". In De Vos, Alexis; Wille, Robert (eds.). Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised Papers. Lecture Notes in Computer Science. Vol. 7165. Springer. pp. 30–42. doi:10.1007/978-3-642-29517-1_3. Reversible programming language at DBLP Bibliography Server.
Yokoyama, Tetsuo (2010). "Reversible Computation and Reversible Programming Languages". In Ulidowski, Irek (ed.). Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science. Vol. 253. Elsevier. pp. 71–81. doi:10.1016/J.ENTCS.2010.02.007. Reversible programming language at DBLP Bibliography Server.
Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert (2017). "Implementing Reversible Object-Oriented Language Features on Reversible Machines". In Phillips, Iain; Rahaman, Hafizur (eds.). Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6–7, 2017, Proceedings. Lecture Notes in Computer Science. Vol. 10301. Springer. pp. 66–73. doi:10.1007/978-3-319-59936-6_5. Reversible programming language at DBLP Bibliography Server.
Yokoyama, Tetsuo; Glück, Robert (2007). "A reversible programming language and its invertible self-interpreter". In Ramalingam, G.; Visser, Eelco (eds.). Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15–16, 2007. ACM. pp. 144–153. doi:10.1145/1244381.1244404. Reversible programming language at DBLP Bibliography Server.
Frank, Michael P. (1999). Reversibility for efficient computing (PhD thesis). Cambridge, MA, USA: Massachusetts Institute of Technology. hdl:1721.1/9464. Reversible programming language at DBLP Bibliography Server.
Vieri, Carlin (1999). Reversible computer engineering and architecture (PhD thesis). Cambridge, MA, USA: Massachusetts Institute of Technology. hdl:1721.1/80144. Reversible programming language at DBLP Bibliography Server.
Axelsen, Holger Bock; Glück, Robert; Yokoyama, Tetsuo (2007). "Reversible Machine Code and Its Abstract Processor Architecture". In Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei (eds.). Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007, Proceedings. Lecture Notes in Computer Science. Vol. 4649. Springer. pp. 56–69. doi:10.1007/978-3-540-74510-5_9. Reversible programming language at DBLP Bibliography Server.
Kaarsgaard, Robin; Rennela, Mathys (2021). "Join inverse rig categories for reversible functional programming, and beyond". In Sokolova, Ana (ed.). Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS. Vol. 351. pp. 152–167. arXiv:2105.09929. doi:10.4204/EPTCS.351.10. Reversible programming language at DBLP Bibliography Server.
Glück, Robert; Kaarsgaard, Robin (2018). "A Categorical Foundation for Structured Reversible Flowchart Languages". In Staton, Sam (ed.). Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6–9, 2018. Electronic Notes in Theoretical Computer Science. Vol. 341. Elsevier. pp. 155–171. doi:10.1016/J.ENTCS.2018.03.021. Reversible programming language at DBLP Bibliography Server.
Matsuda, Kazutaka; Wang, Meng (2024). "Sparcl: A language for partially invertible computation". Journal of Functional Programming. 34 e2. doi:10.1017/S0956796823000126. Reversible programming language at DBLP Bibliography Server.
Lanese, Ivan; Schultz, Ulrik Pagh; Ulidowski, Irek (2022). "Reversible Computing in Debugging of Erlang Programs". IT Professional. 24 (1): 74–80. Bibcode:2022ITPro..24a..74L. doi:10.1109/MITP.2021.3117920. hdl:11585/884503. Reversible programming language at DBLP Bibliography Server.

diku.dk (Global: low place; English: low place)

topps.diku.dk

"Janus: a reversible imperative programming language". University of Copenhagen (DIKU). Retrieved April 9, 2025.

doi.org (Global: 2^nd place; English: 2^nd place)

Glück, Robert; Yokoyama, Tetsuo (2023). "Reversible computing from a programming language perspective". Theoretical Computer Science. 953 113429. doi:10.1016/j.tcs.2022.06.010.
Thomsen, Michael Kirkedal; Axelsen, Holger Bock; Glück, Robert (2011). "A Reversible Processor Architecture and Its Reversible Logic Design". In De Vos, Alexis; Wille, Robert (eds.). Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised Papers. Lecture Notes in Computer Science. Vol. 7165. Springer. pp. 30–42. doi:10.1007/978-3-642-29517-1_3. Reversible programming language at DBLP Bibliography Server.
Yokoyama, Tetsuo (2010). "Reversible Computation and Reversible Programming Languages". In Ulidowski, Irek (ed.). Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science. Vol. 253. Elsevier. pp. 71–81. doi:10.1016/J.ENTCS.2010.02.007. Reversible programming language at DBLP Bibliography Server.
Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert (2017). "Implementing Reversible Object-Oriented Language Features on Reversible Machines". In Phillips, Iain; Rahaman, Hafizur (eds.). Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6–7, 2017, Proceedings. Lecture Notes in Computer Science. Vol. 10301. Springer. pp. 66–73. doi:10.1007/978-3-319-59936-6_5. Reversible programming language at DBLP Bibliography Server.
Yokoyama, Tetsuo; Glück, Robert (2007). "A reversible programming language and its invertible self-interpreter". In Ramalingam, G.; Visser, Eelco (eds.). Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15–16, 2007. ACM. pp. 144–153. doi:10.1145/1244381.1244404. Reversible programming language at DBLP Bibliography Server.
Axelsen, Holger Bock; Glück, Robert; Yokoyama, Tetsuo (2007). "Reversible Machine Code and Its Abstract Processor Architecture". In Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei (eds.). Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007, Proceedings. Lecture Notes in Computer Science. Vol. 4649. Springer. pp. 56–69. doi:10.1007/978-3-540-74510-5_9. Reversible programming language at DBLP Bibliography Server.
Kaarsgaard, Robin; Rennela, Mathys (2021). "Join inverse rig categories for reversible functional programming, and beyond". In Sokolova, Ana (ed.). Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS. Vol. 351. pp. 152–167. arXiv:2105.09929. doi:10.4204/EPTCS.351.10. Reversible programming language at DBLP Bibliography Server.
Glück, Robert; Kaarsgaard, Robin (2018). "A Categorical Foundation for Structured Reversible Flowchart Languages". In Staton, Sam (ed.). Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6–9, 2018. Electronic Notes in Theoretical Computer Science. Vol. 341. Elsevier. pp. 155–171. doi:10.1016/J.ENTCS.2018.03.021. Reversible programming language at DBLP Bibliography Server.
Matsuda, Kazutaka; Wang, Meng (2024). "Sparcl: A language for partially invertible computation". Journal of Functional Programming. 34 e2. doi:10.1017/S0956796823000126. Reversible programming language at DBLP Bibliography Server.
Amy, Matthew; Roetteler, Martin; Svore, Krysta M. (2016). "Verified Compilation of Space-Efficient Reversible Circuits". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10427. pp. 3–21. arXiv:1603.01635. doi:10.1007/978-3-319-63390-9_1. ISBN 978-3-319-63389-3.
Lanese, Ivan; Schultz, Ulrik Pagh; Ulidowski, Irek (2022). "Reversible Computing in Debugging of Erlang Programs". IT Professional. 24 (1): 74–80. Bibcode:2022ITPro..24a..74L. doi:10.1109/MITP.2021.3117920. hdl:11585/884503. Reversible programming language at DBLP Bibliography Server.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Frank, Michael P. (1999). Reversibility for efficient computing (PhD thesis). Cambridge, MA, USA: Massachusetts Institute of Technology. hdl:1721.1/9464. Reversible programming language at DBLP Bibliography Server.
Vieri, Carlin (1999). Reversible computer engineering and architecture (PhD thesis). Cambridge, MA, USA: Massachusetts Institute of Technology. hdl:1721.1/80144. Reversible programming language at DBLP Bibliography Server.
Lanese, Ivan; Schultz, Ulrik Pagh; Ulidowski, Irek (2022). "Reversible Computing in Debugging of Erlang Programs". IT Professional. 24 (1): 74–80. Bibcode:2022ITPro..24a..74L. doi:10.1109/MITP.2021.3117920. hdl:11585/884503. Reversible programming language at DBLP Bibliography Server.

reversible-computation-2020.github.io (Global: low place; English: low place)

"Hermes: A Language for Lightweight Encryption" (PDF). Reversible Computation (RC) Lecture. Retrieved April 9, 2025.

vikraman.org (Global: low place; English: low place)

Choudhury, Vikraman (April 2018). "Reversible Programming Languages" (PDF).

Reversible programming language (English Wikipedia)

adsabs.harvard.edu (Global: 14th place; English: 9th place)

ui.adsabs.harvard.edu

arxiv.org (Global: 49th place; English: 31st place)

cnrs.fr (Global: 1,895th place; English: 4,152nd place)

aubert.perso.math.cnrs.fr

cra.org (Global: low place; English: low place)

dblp.org (Global: low place; English: low place)

diku.dk (Global: low place; English: low place)

topps.diku.dk

doi.org (Global: 2nd place; English: 2nd place)

hdl.handle.net (Global: 66th place; English: 34th place)

reversible-computation-2020.github.io (Global: low place; English: low place)

vikraman.org (Global: low place; English: low place)

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

arxiv.org (Global: 49^th place; English: 31^st place)

cnrs.fr (Global: 1,895^th place; English: 4,152^nd place)

doi.org (Global: 2^nd place; English: 2^nd place)

hdl.handle.net (Global: 66^th place; English: 34^th place)