Thesis icon

Thesis

Embedding an object calculus in the unifying theories of programming

Abstract:

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

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Kellogg College
Department:
Continuing Education
Role:
Author

Contributors

Role:
Supervisor
Publication date:
2010
Type of award:
DPhil
Level of award:
Doctoral
URN:
uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3
Local pid:
ora:3618

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP