A simple fixpoint argument without the restriction to continuity
- 1 April 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 23 (1) , 1-7
- https://doi.org/10.1007/bf00268074
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A Weaker Precondition for LoopsACM Transactions on Programming Languages and Systems, 1982
- Proving total correctness of nondeterministic programs in infinitary logicActa Informatica, 1981
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955