|
|||||
|
|
Finite-cofinite program relations |
|
| Authors: | Brink, C Rewitzky, I |
| Affiliation: | Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch 7701, South Africa. E-mail: {cbrink,rewitzky}@maths.uct.ac.za |
| Abstract: | |
| Keywords: | Hoare logic, predicate transformer semantics, predicaterelator semantics, relational model, weakest precondition, Booleanalgebra, Jó nsson/Tarski duality. |
| 本文献已被 Oxford 等数据库收录！ | |