Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
algorithm language
|
| gptkbp:designedBy |
gptkb:Leslie_Lamport
|
| gptkbp:documentation |
gptkb:TLA+_Hyperbook
|
| gptkbp:extendsTo |
gptkb:TLA+
|
| gptkbp:firstAppearance |
2009
|
| https://www.w3.org/2000/01/rdf-schema#label |
PlusCal
|
| gptkbp:isImperative |
true
|
| gptkbp:similarTo |
pseudocode
|
| gptkbp:translatedInto |
gptkb:TLA+
|
| gptkbp:usedFor |
algorithm specification
|
| gptkbp:usedIn |
formal methods
|
| gptkbp:uses |
gptkb:TLA+_Toolbox
|
| gptkbp:website |
https://lamport.azurewebsites.net/tla/pluscal.html
|
| gptkbp:bfsParent |
gptkb:TLA+_specification_language
|
| gptkbp:bfsLayer |
6
|