利用者:I.hidekazu/公理的意味論
公理的意味論（こうりてきいみろん、英: axiomatic semantics）とは、アントニー・ホーアによって導入されたプログラムの正当性を確保するための意味論である。
概要
[編集]脚注
[編集]参考文献
[編集]- C.A.R. Hoare (1969), “An Axiomatic Basis for Computer Programming”, Comm. ACM
- C.A.R. Hoare and N.Wirth (1973), “An Axiomatic Definition of the Programming Language PASCAL”, Acta Informatica