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 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
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
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

People

Jeremy Gibbons

Unifying Theories of Objects

Selected Publications

People

Share this:

See also