霍爾邏輯維基百科,自由的 encyclopedia 霍爾邏輯(英語:Hoare Logic),又稱弗洛伊德-霍爾邏輯(Floyd–Hoare logic),是英國計算機科學家東尼·霍爾開發的形式系統,這個系統的用途是為了使用嚴格的數理邏輯推理來替電腦程式的正確性提供一組邏輯規則。 這個想法起源於羅伯特·弗洛伊德於較早的研究,他為流程圖提供了類似的系統。東尼·霍爾於1969年首次發表[1],隨後為其他研究者所精製。
霍爾邏輯(英語:Hoare Logic),又稱弗洛伊德-霍爾邏輯(Floyd–Hoare logic),是英國計算機科學家東尼·霍爾開發的形式系統,這個系統的用途是為了使用嚴格的數理邏輯推理來替電腦程式的正確性提供一組邏輯規則。 這個想法起源於羅伯特·弗洛伊德於較早的研究,他為流程圖提供了類似的系統。東尼·霍爾於1969年首次發表[1],隨後為其他研究者所精製。