Janus (time-reversible computing programming language)
Janus is a time-reversible programming language written at Caltech in 1982. The operational semantics of the language were formally specified, together with a and an invertible self-interpreter, in 2007 by Tetsuo Yokoyama and Robert Glück. A Janus inverter and interpreter is made freely available by the TOPPS research group at DIKU. Another Janus interpreter was implemented in Prolog in 2009. The below summarises the language presented in the 2007 paper.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
Janus (time-reversible computing programming language)
Janus is a time-reversible programming language written at Caltech in 1982. The operational semantics of the language were formally specified, together with a and an invertible self-interpreter, in 2007 by Tetsuo Yokoyama and Robert Glück. A Janus inverter and interpreter is made freely available by the TOPPS research group at DIKU. Another Janus interpreter was implemented in Prolog in 2009. The below summarises the language presented in the 2007 paper.
has abstract
Janus is a time-reversible pro ...... omputation by local inversion.
@en
Link from a Wikipage to an external page
Wikipage page ID
50,304,039
page length (characters) of wiki page
Wikipage revision ID
971,773,665
Link from a Wikipage to another Wikipage
designer
Christopher Lutz, Howard Derby, Tetsuo Yokoyama, and Robert Glück
@en
implementations
name
Janus
@en
turing-complete
Yes
@en
website
wikiPageUsesTemplate
year
19,822,007
comment
Janus is a time-reversible pro ...... e presented in the 2007 paper.
@en
label
Janus (time-reversible computing programming language)
@en
homepage
isPrimaryTopicOf
name
Janus
@en