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…

2016

In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics…

2012

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

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…

1994

We introduce a simple uniform semantic framework that isomorphically contains major semantics proposed recently for normal…