Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
PlusCal
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Formal specification language created by Leslie Lamport
Property
Value
dbo:
description
formale Sprache zur Spezifikation von Algorithmen
(de)
formal specification language created by Leslie Lamport
(en)
形式仕様言語
(ja)
dbo:
wikiPageExternalLink
http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html
dbo:
wikiPageWikiLink
dbr
:Imperative_programming
dbc
:Formal_methods
dbr
:Action_language
dbr
:Leslie_Lamport
dbr
:Pseudocode
dbc
:Formal_specification_languages
dbc
:Microsoft_Research
dbc
:Algorithm_description_languages
dbr
:Distributed_computing
dbr
:Source-to-source_compiler
dbr
:Sequential_algorithm
dbr
:TLA+
dbr
:One-bit_clock
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Microsoft_Research
dbt
:Comp-sci-stub
dbt
:Short_description
dct:
subject
dbc
:Formal_methods
dbc
:Formal_specification_languages
dbc
:Microsoft_Research
dbc
:Algorithm_description_languages
gold:
hypernym
dbr
:Language
rdfs:
label
PlusCal
(en)
PlusCal
(de)
PlusCal
(ja)
owl:
sameAs
freebase
:PlusCal
yago-res
:PlusCal
wikidata
:PlusCal
dbpedia-de
:PlusCal
dbpedia-ja
:PlusCal
dbpedia-global
:PlusCal
prov:
wasDerivedFrom
wikipedia-en
:PlusCal?oldid=1259458753&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:PlusCal
is
dbo:
wikiPageWikiLink
of
dbr
:Temporal_logic_of_actions
dbr
:Lamport's_bakery_algorithm
dbr
:List_of_model_checking_tools
dbr
:TLA+
is
foaf:
primaryTopic
of
wikipedia-en
:PlusCal
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International