This HTML5 document contains 54 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11http://topps.diku.dk/pirc/janus-playground/
n10https://global.dbpedia.org/id/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://tetsuo.jp/ref/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Janus_(time-reversible_computing_programming_language)
Subject Item
dbr:Janus_(disambiguation)
dbo:wikiPageWikiLink
dbr:Janus_(time-reversible_computing_programming_language)
dbo:wikiPageDisambiguates
dbr:Janus_(time-reversible_computing_programming_language)
Subject Item
dbr:Janus
dbo:wikiPageWikiLink
dbr:Janus_(time-reversible_computing_programming_language)
Subject Item
dbr:Janus_(time-reversible_computing_programming_language)
rdf:type
owl:Thing dbo:Language wikidata:Q9143 schema:Language wikidata:Q315 dbo:ProgrammingLanguage
rdfs:label
Janus (time-reversible computing programming language)
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.
foaf:name
Janus
foaf:homepage
n9:janus.html
dbp:name
Janus
foaf:page
n9:janus.html
dcterms:subject
dbc:Programming_languages dbc:Reversible_computing
dbo:wikiPageID
50304039
dbo:wikiPageRevisionID
1107461256
dbo:wikiPageWikiLink
dbr:Backus–Naur_form dbr:Fibonacci_sequence dbr:Self-interpreter dbr:Imperative_programming dbr:Operational_semantics dbr:Program_inverter dbr:Procedural_programming dbr:DIKU dbc:Programming_languages dbr:TOPPS_(research_group) dbr:Prolog dbr:Caltech dbr:Reversible_computing dbc:Reversible_computing dbr:Two's_complement
dbo:wikiPageExternalLink
n11: n9:janus.html
owl:sameAs
n10:2PKdj wikidata:Q25345964 yago-res:Janus_(time-reversible_computing_programming_language)
dbp:turingComplete
Yes
dbp:wikiPageUsesTemplate
dbt:Infobox_programming_language dbt:Cleanup_bare_URLs dbt:Reflist
dbp:designer
Christopher Lutz, Howard Derby, Tetsuo Yokoyama, and Robert Glück
dbp:implementations
n11:
dbp:paradigm
imperative , reversible
dbp:website
n9:janus.html
dbp:year
19822007
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.
prov:wasDerivedFrom
wikipedia-en:Janus_(time-reversible_computing_programming_language)?oldid=1107461256&ns=0
dbo:wikiPageLength
9093
foaf:isPrimaryTopicOf
wikipedia-en:Janus_(time-reversible_computing_programming_language)
Subject Item
wikipedia-en:Janus_(time-reversible_computing_programming_language)
foaf:primaryTopic
dbr:Janus_(time-reversible_computing_programming_language)