述語変換意味論

読み方、または別称：

じゅつごへんかんいみろん、Predicate Transformer Semantics

述語変換意味論とは

述語変換意味論（じゅつごへんかんいみろん、Predicate Transformer Semantics）は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたものである。最初に登場したのはダイクストラの論文 "Guarded commands, nondeterminacy and formal derivation of programs" であった。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ 述語変換意味論の改定履歴 ]