Janus (time-reversible computing programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Janus (time-reversible computing programming language)" in English language version.

refsWebsite

Global rank English rank

2^nd place

low place

11^th place

8^th place

low place

low place

low place

diku.dk

Tetsuo Yokoyama; Robert Glück (2007). "A reversible programming language and its invertible self-interpreter". Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. New York, NY, USA: ACM. pp. 144–153. doi:10.1145/1244381.1244404. ISBN 978-1-59593-620-2.
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert (5 May 2008). "Principles of a reversible programming language". Proceedings of the 5th conference on Computing frontiers. pp. 43–54. doi:10.1145/1366230.1366239. ISBN 978-1-60558-077-7. S2CID 14228334.
Deworetzki, Niklas; Kutrib, Martin; Meyer, Uwe; Ritzke, Pia-Doreen (2022). "Optimizing Reversible Programs". Reversible Computation. Lecture Notes in Computer Science. Vol. 13354. pp. 224–238. doi:10.1007/978-3-031-09005-9_16. ISBN 978-3-031-09004-2.
Glück, Robert; Yokoyama, Tetsuo (2016). "A Linear-Time Self-Interpreter of a Reversible Imperative Language". Computer Software. 33 (3): 3_108–3_128. doi:10.11309/jssst.33.3_108.
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.
Paolini, Luca; Piccolo, Mauro; Roversi, Luca (2018). "A Certified Study of a Reversible Programming Language". Proc. 21st International Conference on Types for Proofs and Programs (TYPES 2015).: 7:1–7:21. doi:10.4230/LIPIcs.TYPES.2015.7.

Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert (5 May 2008). "Principles of a reversible programming language". Proceedings of the 5th conference on Computing frontiers. pp. 43–54. doi:10.1145/1366230.1366239. ISBN 978-1-60558-077-7. S2CID 14228334.