述語変換意味論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:29 UTC 版)
述語変換意味論(じゅつごへんかんいみろん、Predicate Transformer Semantics)は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたものである。最初に登場したのはダイクストラの論文 "Guarded commands, nondeterminacy and formal derivation of programs" であった。
- 1 述語変換意味論とは
- 2 述語変換意味論の概要
- 3 参考文献
- 述語変換意味論のページへのリンク