predicate transformer semantics
Sign in to savereformulation of Floyd-Hoare logic
Connections
algorithm
Entity
programming language semantics
Entity
concurrent computing
Entity
Hoare logic
Entity
Guarded Command Language
Entity
language
Entity
linguistics
Entity
computer science
Entity
International Standard Book Number
Entity
cryptography
Entity
digital object identifier
Entity
semantics
Entity
software engineering
Entity
Edsger W. Dijkstra
Entity
lexicology
Entity
Q34010
Entity
deductive reasoning
Entity
distributed computing
Entity
Niklaus Wirth
Entity
software development
Entity