Embedding an object calculus in the unifying theories of programming

Embedding an object calculus in the unifying theories of programming

Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relational predicates. This theory is intended to provide a single framework in which any programming paradigms, languages, and features, can be modelled, compared and contrasted. The UTP already has mode...

Full description

Bibliographic Details
Main Author: Smith, Michael Anthony
Other Authors: Gibbons, Jeremy
Published: University of Oxford 2010
Subjects:
004.01
Software engineering : Mathematical logic and foundations : Computer science (mathematics) : Art : Computing : Computing Mathematics : Mathematics Computing : unifying theories of programming : predicative programming : object orientation : object calculus : object references : pointers
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.514995

Similar Items