Alexander Bunkenburg

According to our database1, Alexander Bunkenburg
  • authored at least 7 papers between 1997 and 2009.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Term transformers: A new approach to state.
ACM Trans. Program. Lang. Syst., 2009

2002
A source of inconsistency in theories of nondeterministic functions.
Sci. Comput. Program., 2002

2001
A theory of bunches.
Acta Inf., 2001

1999
Specificational functions.
ACM Trans. Program. Lang. Syst., 1999

A Logic for Reasoning Equationally in the Presence of Partiality.
Sci. Comput. Program., 1999

1998
Partiality and Nondeterminacy in Program Proofs.
Formal Asp. Comput., 1998

1997
Expression refinement.
PhD thesis, 1997


  Loading...