| dbo:abstract |
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. Janus is an imperative programming language with a global store (there is no stack or heap allocation). Janus is a reversible programming language, i.e. it supports deterministic forward and backward computation by local inversion. (en) |
| dbo:wikiPageExternalLink |
http://tetsuo.jp/ref/janus.html http://topps.diku.dk/pirc/janus-playground/ |
| dbo:wikiPageID |
50304039 (xsd:integer) |
| dbo:wikiPageLength |
9093 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1107461256 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Caltech dbr:Prolog dbr:Operational_semantics dbr:Backus–Naur_form dbr:Two's_complement dbr:Procedural_programming dbr:Fibonacci_sequence dbc:Programming_languages dbc:Reversible_computing dbr:DIKU dbr:Self-interpreter dbr:Imperative_programming dbr:Reversible_computing dbr:TOPPS_(research_group) dbr:Program_inverter |
| dbp:designer |
Christopher Lutz, Howard Derby, Tetsuo Yokoyama, and Robert Glück (en) |
| dbp:implementations |
http://topps.diku.dk/pirc/janus-playground/ |
| dbp:name |
Janus (en) |
| dbp:paradigm |
imperative , reversible (en) |
| dbp:turingComplete |
Yes (en) |
| dbp:website |
http://tetsuo.jp/ref/janus.html |
| dbp:wikiPageUsesTemplate |
dbt:Cleanup_bare_URLs dbt:Infobox_programming_language dbt:Reflist |
| dbp:year |
19822007 (xsd:integer) |
| dct:subject |
dbc:Programming_languages dbc:Reversible_computing |
| rdf:type |
owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage |
| rdfs:comment |
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. (en) |
| rdfs:label |
Janus (time-reversible computing programming language) (en) |
| owl:sameAs |
yago-res:Janus (time-reversible computing programming language) wikidata:Janus (time-reversible computing programming language) https://global.dbpedia.org/id/2PKdj |
| prov:wasDerivedFrom |
wikipedia-en:Janus_(time-reversible_computing_programming_language)?oldid=1107461256&ns=0 |
| foaf:homepage |
http://tetsuo.jp/ref/janus.html |
| foaf:isPrimaryTopicOf |
wikipedia-en:Janus_(time-reversible_computing_programming_language) |
| foaf:name |
Janus (en) |
| foaf:page |
http://tetsuo.jp/ref/janus.html |
| is dbo:wikiPageDisambiguates of |
dbr:Janus_(disambiguation) |
| is dbo:wikiPageWikiLink of |
dbr:List_of_programming_languages dbr:Janus_(disambiguation) dbr:Janus |
| is foaf:primaryTopic of |
wikipedia-en:Janus_(time-reversible_computing_programming_language) |