A necessary and sufficient condition for the existence of hoare logics
暂无分享,去创建一个
[1] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[2] Albert R. Meyer,et al. Computability and completeness in logics of programs (Preliminary Report) , 1977, STOC '77.
[3] Alfred V. Aho,et al. Nested Stack Automata , 1969, Journal of the ACM.
[4] Susan S. Owicki,et al. A consistent and complete deductive system for the verification of parallel programs , 1976, STOC '76.
[5] Edmund M. Clarke. Programming language constructs for which it is impossible to obtain good hoare-like axiom systems , 1977, POPL '77.