Alexander Bunkenburg

Publication Activity (10 Years)

Years Active: 1993-2009
Publications (10 Years): 0

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell
Term transformers: A new approach to state. ACM Trans. Program. Lang. Syst. 31 (4) (2009)
Joseph M. Morris, Alexander Bunkenburg
A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43 (1) (2002)
Joseph M. Morris, Alexander Bunkenburg
A theory of bunches. Acta Informatica 37 (8) (2001)
Joseph M. Morris, Alexander Bunkenburg
Specificational functions. ACM Trans. Program. Lang. Syst. 21 (3) (1999)
Joseph M. Morris, Alexander Bunkenburg
A Logic for Reasoning Equationally in the Presence of Partiality. Sci. Comput. Program. 34 (2) (1999)
Joseph M. Morris, Alexander Bunkenburg
Partiality and Nondeterminacy in Program Proofs. Formal Aspects Comput. 10 (1) (1998)
Alexander Bunkenburg, Sharon Flynn
Expression Refinement: Deriving Bresenham's Algorithm. Functional Programming (1994)
Alexander Bunkenburg
The Boom Hierarchy. Functional Programming (1993)