Hoare logics

form-of plural

plural of Hoare logic

Japanese Meaning

この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。

Researchers compared different Hoare logics to determine which were most suitable for verifying concurrent programs.

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

Sense（1）

plural of Hoare logic