Alexander Bunkenburg (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell: Term transformers: A new approach to state. ACM Trans. Program. Lang. Syst. 31(4): (2009)

5 Joseph M. Morris, Alexander Bunkenburg: A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43(1): 77-89 (2002)

4 Joseph M. Morris, Alexander Bunkenburg: A theory of bunches. Acta Inf. 37(8): 541-561 (2001)

3 Joseph M. Morris, Alexander Bunkenburg: Specificational functions. ACM Trans. Program. Lang. Syst. 21(3): 677-701 (1999)

2 Joseph M. Morris, Alexander Bunkenburg: A Logic for Reasoning Equationally in the Presence of Partiality. Sci. Comput. Program. 34(2): 141-158 (1999)

1 Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. Formal Asp. Comput. 10(1): 76-96 (1998)

Selection of 6 from 6 records - Alexander Bunkenburg has 2 coauthors

6		Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell: Term transformers: A new approach to state. ACM Trans. Program. Lang. Syst. 31(4): (2009)
5		Joseph M. Morris, Alexander Bunkenburg: A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43(1): 77-89 (2002)
4		Joseph M. Morris, Alexander Bunkenburg: A theory of bunches. Acta Inf. 37(8): 541-561 (2001)
3		Joseph M. Morris, Alexander Bunkenburg: Specificational functions. ACM Trans. Program. Lang. Syst. 21(3): 677-701 (1999)
2		Joseph M. Morris, Alexander Bunkenburg: A Logic for Reasoning Equationally in the Presence of Partiality. Sci. Comput. Program. 34(2): 141-158 (1999)
1		Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. Formal Asp. Comput. 10(1): 76-96 (1998)