Predicate transformer semantics
article-link
What links here
Axiomatic semantics
Extended ML
article-link
Semantics (programming languages)
article-link
Formal verification
article-link
Operational semantics
article-link
Denotational semantics
article-link
Tony Hoare
article-link
Semantics
article-link
Static program analysis
article-link
Computer program
article-link
Abstract data type
article-link