Hoare triple
danh từ (noun)
Nghĩa chính
- Mô tả chính thức về cách thực thi một đoạn mã thay đổi trạng thái tính toán trong logic Hoare, bao gồm một lệnh được chạy, một điều kiện tiên quyết đúng trước đó và một điều kiện sau đúng sau đódanh từA formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.
Dạng từ (word form)
theo quy tắc (regular)- Hoare tripleDạng gốc (base form)
- Hoare triplesSố nhiều (plural)