Unifying Theories of Programming

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

Topic mentions per year

Topic mentions per year

1998-2016
05101519982016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
In this paper we consider three theories of programs and specifications at different levels of abstraction. The theories we focus… (More)
  • figure 1
  • figure 4
  • figure 5
Is this relevant?
Review
2013
Review
2013
This is a tutorial introduction to the two most basic theories in Hoare & He’s Unifying Theories of Programming and their… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a… (More)
Is this relevant?
2010
2010
This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that… (More)
Is this relevant?
2006
2006
This paper presents a personal account of developments leading to Unifying Theories of Programming, and some opinions about the… (More)
Is this relevant?
2006
2006
Hoare and He’s unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Hoare and He’s unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates, which… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Within the Unifying Theories of Programming framework, program initiation and termination has been modelled by introducing a pair… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
The paper presents a denotational semantics of mobile processes in Hoare & He's Unifying Theories of Programming (UTP). Process… (More)
Is this relevant?
2003
2003
Unifying Theories of Programming (UTP) can provide a formal semantic foundation not only for programming languages but also for… (More)
Is this relevant?