Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Naumann, David A.
1994.
A recursion theorem for predicate transformers on inductive data types.
Information Processing Letters,
Vol. 50,
Issue. 6,
p.
329.
Naumann, David A.
1995.
Predicate transformers and higher-order programs.
Theoretical Computer Science,
Vol. 150,
Issue. 1,
p.
111.
Naumann, David A.
1998.
Mathematics of Program Construction.
Vol. 1422,
Issue. ,
p.
286.
Naumann, David A.
2001.
Ideal models for pointwise relational and state-free imperative programming.
p.
4.
Jones, C. B.
and
Roscoe, A. W.
2010.
Reflections on the Work of C.A.R. Hoare.
p.
1.
Naumann, David A.
2016.
Towards patterns for heaps and imperative lambdas.
Journal of Logical and Algebraic Methods in Programming,
Vol. 85,
Issue. 5,
p.
1038.
Jones, Cliff
2021.
Theories of Programming.
p.
395.