Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedFor |
formal verification
|
| gptkbp:developedBy |
Why3 team
|
| gptkbp:documentation |
https://why3.lri.fr/doc/whyml.html
|
| gptkbp:hasFeature |
modules
first-class functions variants assertions ghost code loop invariants postconditions preconditions algebraic data types pattern matching exceptions mutable references |
| https://www.w3.org/2000/01/rdf-schema#label |
WhyML
|
| gptkbp:influencedBy |
ML
|
| gptkbp:license |
gptkb:LGPL
|
| gptkbp:openSource |
true
|
| gptkbp:paradigm |
imperative
functional |
| gptkbp:supports |
gptkb:technical_specification
program proof |
| gptkbp:usedIn |
gptkb:Why3
|
| gptkbp:bfsParent |
gptkb:Why3_platform
|
| gptkbp:bfsLayer |
7
|