Unifying Theories of Objects

Anthony Smith's DPhil topic is Unifying Theories of Objects; he is looking at integrating the ideas of object orientation (as for example in Abadi and Cardelli's σ-calculus) into Hoare and He's Unifying Theories of Programming.

Selected Publications

View all

Embedding an object calculus in the unifying theories of programming

Michael Anthony Smith

PhD Thesis , type=DPhil thesis DPhil thesisType. 2010.

Details | BibTeX | Link

Unifying Theories of Locations

Michael Anthony Smith and Jeremy Gibbons

In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008.

Details | BibTeX | Download (pdf)

Unifying Theories of Objects

Michael Anthony Smith and Jeremy Gibbons

In Jim Davies and Jeremy Gibbons, editors, Integrated Formal Methods. Vol. 4591 of Lecture Notes in Computer Science. Pages 599−618. Springer−Verlag. 2007.

Details | BibTeX | Download (pdf)