Searching for authors named Alexander Bunkenburg – sorted by Relevance.
-
Specification and Refinement of Functional Programs
- Specification and refinement of functional programs Alexander Bunkenburg Computing Science
- Add To MetaCart
-
The Boom Hierarchy
- The Boom Hierarchy Alexander Bunkenburg Computing Science Department, University of Glasgow
- Cited by 3 (0 self) – Add To MetaCart
-
Expression Refinement: Deriving Bresenham's Algorithm
- Expression Refinement: Deriving Bresenham's Algorithm Alexander Bunkenburg and Sharon Flynn
- Cited by 1 (0 self) – Add To MetaCart
-
Partiality and Nondeterminacy in Program Proofs
- Proofs Joseph M. Morris and Alexander Bunkenburg 1 Dept. of Computing Science University of Glasgow
- Cited by 7 (3 self) – Add To MetaCart
-
E3: A Logic for Reasoning Equationally in the Presence of Partiality
- and Alexander Bunkenburg Dept of Computing Science University of Glasgow Glasgow G12 8QQ Scotland, UK e
- Cited by 2 (2 self) – Add To MetaCart

