Proof theory of object-oriented Languages

E. Abraham, F.S. de Boer, W.P. de Roever, and M. Steffen.
An assertion-based proof system for mutithreaded Java.
Theoretical Computer Science, Vol. 331, 2005.

C. Pierik and F.S. de Boer.
A proof outline logic for object-oriented programming.
Theoretical Computer Science, Vol. 343, Nr. 3, 2005.

C. Pierik, D. Clarke, and F.S. de Boer.
Controlling Object Allocation Using Creation Guards.
Proceedings of Formal Methods, LNCS Vol. 3582, 2005.

C. Pierik and F.S. de Boer.
Modularity and the Rule of Adaptation.
Proceedings of AMAST 2004, LNCS, Vol. 3116, 2004.

F.S. de Boer.
A Hoare logic for dynamic networks of asychronously communicating deterministic processes.
Theoretical Computer Science, Vol. 274, no.1-2, 2002.

P. America and F.S. de Boer.
Reasoning about dynamically evolving process structures .
Formal Aspects of Computing. Vol. 6, No. 3, 1994.