Embedding an object calculus in the unifying theories of programming

Thesis

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 models for several programming formalisms, such as imperative programming, higher-order programming (e.g. programing with procedures), several styles of concurrent programming (or reactive systems), class-b...

Expand abstract

Authors: Smith, M

• Publication date: 2010
• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Language: English
• Keywords: object references; predicative programming; object orientation; pointers; unifying theories of programming; object calculus
• Subjects: Computing Mathematics; Computing; Art; Mathematical logic and foundations; Computer science (mathematics); Mathematics Computing; Software engineering