# C. A. R. Hoare ## 概要 英国の計算機科学者（Charles Antony Richard Hoare）。クイックソート（Quicksort）の考案者として知られるほか、1969年の論文「An Axiomatic Basis for Computer Programming」においてプログラムの正しさを形式的に証明するための公理的体系（ホーア論理 / [[公理的意味論]]）を確立した。その後オックスフォード大学教授などを歴任し、並行プロセスの代数理論である CSP（Communicating Sequential Processes）を提唱した。1980年にプログラミング言語の定義と設計への基礎的貢献によりチューリング賞を受賞。(Source: [[@1969__CACM__An Axiomatic Basis for Computer Programming]]) ## 関連 - ソース: [[@1969__CACM__An Axiomatic Basis for Computer Programming]] - 組織: [[Queen's University Belfast]] - 概念: [[公理的意味論]]、[[形式手法]] ## 出典 - C. A. R. Hoare, "An Axiomatic Basis for Computer Programming", *CACM*, 1969.