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
| Embedding an object calculus in the unifying theories of programming Michael Anthony Smith PhD Thesis , type=DPhil thesis DPhil thesisType. 2010. |
| Unifying Theories of Locations Michael Anthony Smith and Jeremy Gibbons In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008. |
| 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. |
info
|
People |
|
|
Themes |
