Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference4 articles.
1. A sharp proof rule for procedures in wp semantics;Bijlsma;Acta Inform.,1989
2. Predicate Calculus and Program Semantics;Dijkstra,1990
3. The Science of Programming;Gries,1981
4. A general proof rule for procedures in predicate transformer semantics;Martin;Acta Inform.,1983
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Predicate transformer semantics of a higher-order imperative language with record subtyping;Science of Computer Programming;2001-09
2. Calculating sharp adaptation rules;Information Processing Letters;2001-02
3. COMPASS: A comprehensible assertion method;TAPSOFT '97: Theory and Practice of Software Development;1997
4. Predicate transformers and higher-order programs;Theoretical Computer Science;1995-10
5. On the essence of Oberon;Programming Languages and System Architectures;1994