About: Janus (time-reversible computing programming language)

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
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)
dcterms: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)