Similar Items: Modelling the algebra of weakest preconditions
- Providing mechanical support for program development in a weakest precondition calculus
- A topological framework for program semantics
- Preconditioning and Uniform Convergence for Convection-Diffusion Problems Discretized on Shishkin-Type Meshes
- Steinberg algebra and Leavitt path algebras
- Ideals in von Neumann algebras and in associated operator algebras
- On conformal algebras with brackets