Hoare logic
danh từ (noun)
Nghĩa chính
- Hệ thống quy tắc chính thức để suy luận về tính đúng đắn của các chương trình máy tính, dựa trên bộ ba Hoare, mô tả trạng thái của hệ thống trước và sau các hoạt động khác nhaudanh từđếm được và không đếm được (countable, uncountable)A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
Dạng từ (word form)
theo quy tắc (regular)- Hoare logicDạng gốc (base form)
- Hoare logicsSố nhiều (plural)
Cụm từ (phrase)
| Cụm từ | Từ loại | Nghĩa |
|---|---|---|
| Floyd-Hoare logicdanh từ | danh từ | Đồng nghĩa với Hoare logic |