Matches in DBpedia 2014 for { <http://dbpedia.org/resource/PlusCal> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- PlusCal abstract "PlusCal (formerly known as +Cal) is an algorithmic language. It is designed to replace pseudocode. PlusCal can express both sequential and concurrent algorithms and features means to handle nondeterminism, atomicity and model checking.".
- PlusCal wikiPageExternalLink pluscal.html.
- PlusCal wikiPageID "28752783".
- PlusCal wikiPageRevisionID "385591629".
- PlusCal hasPhotoCollection PlusCal.
- PlusCal subject Category:Algorithm_description_languages.
- PlusCal type Abstraction100002137.
- PlusCal type AlgorithmDescriptionLanguages.
- PlusCal type Communication100033020.
- PlusCal type Language106282651.
- PlusCal comment "PlusCal (formerly known as +Cal) is an algorithmic language. It is designed to replace pseudocode. PlusCal can express both sequential and concurrent algorithms and features means to handle nondeterminism, atomicity and model checking.".
- PlusCal label "PlusCal".
- PlusCal sameAs m.0ddg2s4.
- PlusCal sameAs Q7205583.
- PlusCal sameAs Q7205583.
- PlusCal sameAs PlusCal.
- PlusCal wasDerivedFrom PlusCal?oldid=385591629.
- PlusCal isPrimaryTopicOf PlusCal.