Unifying Theories of Objects: Publications
-
[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
-
[2]
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
-
[3]
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