Unifying Theories of Programming

Known as: UTP

Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

This development links Isabelle/UTP to the mechanised Kleene Algebra (KA) hiearchy for Isabelle/HOL. We substantiate the required…

2018

Reactive designs combine the UTP theories of reactive processes and designs to characterise reactive programs. Whereas sequential…

2017

Unifying Theories of Programming (UTP), due to Hoare and He, is a relational calculus based on first-order logic, which is…

2016

UTP promotes the unification of programming theories and has been used successfully for giving denotational semantics to…

2012

In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics…

2011

We comment on the recent paper by Martinez-Valpuesta & Gerhard (arXiv:1105.0928, 2011), who suggest, as an alternative to the…

2008

The concept of an interrupt is one that appears across many paradigms, and used in many different areas. It may be used as a…

2007

This chapter presents a theory of testing that integrates into Hoare and He’s Unifying Theories of Programming (UTP). We give…

2004

This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing…

2004

The paper presents a denotational semantics of mobile processes in Hoare & He's Unifying Theories of Programming (UTP). Process…