Unifying Theories of Objects: Publications

Conference papers

• [1]

  Unifying Theories of Locations

  Michael Anthony Smith and Jeremy Gibbons

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

  Details about Unifying Theories of Locations | BibTeX data for Unifying Theories of Locations | DOI (10.1007/978-3-642-14521-6_10) | Download (pdf) of Unifying Theories of Locations

• [2]

  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 about Unifying Theories of Objects | BibTeX data for Unifying Theories of Objects | Download (pdf) of Unifying Theories of Objects

Theses

• [1]

  Embedding an object calculus in the unifying theories of programming

  Michael Anthony Smith

  PhD Thesis , type= DPhil thesis. 2010.

  Details about Embedding an object calculus in the unifying theories of programming | BibTeX data for Embedding an object calculus in the unifying theories of programming | Link to Embedding an object calculus in the unifying theories of programming