HTML Microdata document

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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n15	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
schema	http://schema.org/
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item: dbr:List_of_concurrent_and_parallel_programming_languages
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:List_of_programming_languages
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Janus_(disambiguation)
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)
dbo:wikiPageDisambiguates: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Concurrent_computing
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Concurrent_constraint_logic_programming
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:ToonTalk
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)
dbp:influencedBy: dbr:Janus_(concurrent_constraint_programming_language)
dbo:influencedBy: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Futures_and_promises
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Janus
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Janus_(concurrent_constraint_programming_language)
rdf:type: wikidata:Q9143 wikidata:Q315 schema:Language dbo:ProgrammingLanguage owl:Thing dbo:Language
rdfs:label: Janus (concurrent constraint programming language)
rdfs:comment: Janus is a computer programming language partially described by K. Kahn and Vijay A. Saraswat in the paper "Actors as a special case of concurrent constraint (logic) programming" in 1990. It is a concurrent constraint language without backtracking. Janus models concurrency through the use of bag channels. Code that needs to send a message to a process does so by constraining a bag to be the union of another bag and the singleton bag of the message. The other bag is then available to be constrained for sending subsequent messages.
foaf:name: Janus
dbp:name: Janus
dcterms:subject: dbc:Constraint_programming_languages dbc:Logic_programming_languages dbc:Concurrent_programming_languages
dbo:wikiPageID: 50304023
dbo:wikiPageRevisionID: 1039778041
dbo:wikiPageWikiLink: dbc:Constraint_programming_languages dbr:Ken_Kahn dbr:Actor_model dbr:ToonTalk_computer_programming_language dbr:Vijay_A._Saraswat dbr:Janus_(mythology) dbr:Concurrent_constraint_logic_programming dbr:Computer_programming_language dbc:Logic_programming_languages dbc:Concurrent_programming_languages
owl:sameAs: wikidata:Q6155940 n15:4o4Zg
dbp:turingComplete: Yes
dbp:wikiPageUsesTemplate: dbt:Reflist dbt:Infobox_programming_language
dbp:designer: Ken Kahn and Vijay A. Saraswat
dbp:implementations
dbp:paradigm: dbr:Concurrent_constraint_logic_programming
dbp:year: 1990
dbo:abstract: Janus is a computer programming language partially described by K. Kahn and Vijay A. Saraswat in the paper "Actors as a special case of concurrent constraint (logic) programming" in 1990. It is a concurrent constraint language without backtracking. Janus models concurrency through the use of bag channels. Code that needs to send a message to a process does so by constraining a bag to be the union of another bag and the singleton bag of the message. The other bag is then available to be constrained for sending subsequent messages. The process receives the message by matching the bag to a pattern that says it is the union of some singleton and some other bag. The logic of the bag channels produces a property shared by the actor model, namely that the order of arrival of the messages is not guaranteed. However, unlike actors in the actor model, processes in Janus can pass around their "mailboxes" so to speak, in the form ofbags, and can hold more than one. This ability to pass mailboxes around and hold more than one is inherited in computer programming language ToonTalk, which is influenced by Janus. Janus, the programming language, is named after Janus, the two-faced Roman god, because every logical variable in Janus has as its two "faces", two aspects that can be passed as arguments. These are called the asker and the teller. These represent, respectively, the right to ask the value of the variable (or some characteristic of the value) and the right to tell the value (or to tell some constraint on what the value can be). The asker and teller aspects can be passed around as arguments independently of each other. Neither right implies the other right. The syntax of the language prevents copying a teller or exercising it more than once. Logical contradiction is statically prevented, according to Kahn and Saraswat.
prov:wasDerivedFrom: wikipedia-en:Janus_(concurrent_constraint_programming_language)?oldid=1039778041&ns=0
dbo:wikiPageLength: 3665
dbo:designer: dbr:Ken_Kahn dbr:Vijay_A._Saraswat
foaf:isPrimaryTopicOf: wikipedia-en:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Actor_model
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: dbr:Actor_model_later_history
dbo:wikiPageWikiLink: dbr:Janus_(concurrent_constraint_programming_language)

Subject Item: wikipedia-en:Janus_(concurrent_constraint_programming_language)
foaf:primaryTopic: dbr:Janus_(concurrent_constraint_programming_language)