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…

2017

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

2016

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

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…

2010

In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we…

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

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