Hoare logic (Q1375924)
Jump to navigation
Jump to search
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
- Floyd–Hoare logic
- Hoare rules
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hoare logic |
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(16 entries)
- dewiki Hoare-Kalkül
- enwiki Hoare logic
- eswiki Lógica de Hoare
- fiwiki Hoaren logiikka
- frwiki Logique de Hoare
- itwiki Logica di Hoare
- jawiki ホーア論理
- kowiki 호어 논리
- nlwiki Hoarelogica
- plwiki Logika Hoare’a
- ptwiki Lógica de Hoare
- ruwiki Логика Хоара
- skwiki Hoareova logika
- ukwiki Логіка Гоара
- viwiki Luận lý Hoare
- zhwiki 霍尔逻辑