Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/PlusCal> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- PlusCal abstract "PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action-oriented focus on distributed systems, PlusCal most resembles an imperative programming language and is better-suited to specifying sequential algorithms. PlusCal was designed to replace pseudocode, retaining its simplicity while providing a formally-defined and verifiable language. A one-bit clock is written in PlusCal as follows:PlusCal tools and documentation are found on the PlusCal Algorithm Language page.".
- PlusCal wikiPageExternalLink pluscal.html.
- PlusCal wikiPageID "28752783".
- PlusCal wikiPageLength "2275".
- PlusCal wikiPageOutDegree "13".
- PlusCal wikiPageRevisionID "665727122".
- PlusCal wikiPageWikiLink Action_language.
- PlusCal wikiPageWikiLink Category:Algorithm_description_languages.
- PlusCal wikiPageWikiLink Category:Formal_methods.
- PlusCal wikiPageWikiLink Category:Formal_specification_languages.
- PlusCal wikiPageWikiLink Distributed_computing.
- PlusCal wikiPageWikiLink Imperative_programming.
- PlusCal wikiPageWikiLink Leslie_Lamport.
- PlusCal wikiPageWikiLink Pseudocode.
- PlusCal wikiPageWikiLink Sequential_algorithm.
- PlusCal wikiPageWikiLink Source-to-source_compiler.
- PlusCal wikiPageWikiLink TLA+.
- PlusCal wikiPageWikiLinkText "PlusCal".
- PlusCal wikiPageUsesTemplate Template:Comp-sci-stub.
- PlusCal wikiPageUsesTemplate Template:Reflist.
- PlusCal subject Category:Algorithm_description_languages.
- PlusCal subject Category:Formal_methods.
- PlusCal subject Category:Formal_specification_languages.
- PlusCal hypernym Language.
- PlusCal type Language.
- PlusCal type Algorithm.
- PlusCal type Language.
- PlusCal comment "PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action-oriented focus on distributed systems, PlusCal most resembles an imperative programming language and is better-suited to specifying sequential algorithms. PlusCal was designed to replace pseudocode, retaining its simplicity while providing a formally-defined and verifiable language.".
- PlusCal label "PlusCal".
- PlusCal sameAs Q7205583.
- PlusCal sameAs PlusCal.
- PlusCal sameAs m.0ddg2s4.
- PlusCal sameAs Q7205583.
- PlusCal wasDerivedFrom PlusCal?oldid=665727122.
- PlusCal isPrimaryTopicOf PlusCal.