Alexander Bunkenburg

According to our database, Alexander Bunkenburg authored at least 9 papers between 1993 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Term transformers: A new approach to state.

Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell

ACM Trans. Program. Lang. Syst., 2009

2002

A source of inconsistency in theories of nondeterministic functions.

Joseph M. Morris, Alexander Bunkenburg

Sci. Comput. Program., 2002

2001

A theory of bunches.

Joseph M. Morris, Alexander Bunkenburg

Acta Informatica, 2001

1999

Specificational functions.

Joseph M. Morris, Alexander Bunkenburg

ACM Trans. Program. Lang. Syst., 1999

A Logic for Reasoning Equationally in the Presence of Partiality.

Joseph M. Morris, Alexander Bunkenburg

Sci. Comput. Program., 1999

1998

Partiality and Nondeterminacy in Program Proofs.

Joseph M. Morris, Alexander Bunkenburg

Formal Aspects Comput., 1998

1997

Expression refinement.

Alexander Bunkenburg

PhD thesis, 1997

1994

Expression Refinement: Deriving Bresenham's Algorithm.

Alexander Bunkenburg, Sharon Flynn

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1993

The Boom Hierarchy.

Alexander Bunkenburg

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993