predicate transformer semantics (Q291929)
Jump to navigation
Jump to search
reformulation of Floyd-Hoare logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | predicate transformer semantics |
reformulation of Floyd-Hoare logic |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(7 entries)
- bgwiki Предикатно-трансформативна семантика
- cawiki Semàntica de transformació de predicats
- dewiki Wp-Kalkül
- enwiki Predicate transformer semantics
- eswiki Semántica de transformación de predicados
- jawiki 述語変換意味論
- ruwiki Слабейшее предусловие