Ada 2012 contracts

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:checkedAt Runtime
Compile time
gptkbp:enables Preconditions
Postconditions
Type invariants
https://www.w3.org/2000/01/rdf-schema#label Ada 2012 contracts
gptkbp:introducedIn gptkb:Ada_2012
gptkbp:partOf gptkb:Ada_2012
gptkbp:relatedTo gptkb:Design_by_Contract
gptkbp:specifies Ada 2012 standard
gptkbp:usedFor Formal verification
Error detection
Software correctness
gptkbp:uses Aspect specifications
gptkbp:bfsParent gptkb:Design_by_Contract
gptkbp:bfsLayer 7