FAQ

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

Related topics

Related topics

16 relations
Algebraic semanticsCommunicating sequential processesComputer programComputer science
(More)

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Unifying Theories of Programming
Formal specification
Operational semantics
Computer science
Recursion
Computer program

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Linking Unifying Theories of Program refinement
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
Unifying Theories of Programming in Isabelle
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
Unifying Theories of Programming with Monads
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
Unifying Theories of Confidentiality
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
Retrospective and Prospective for Unifying Theories of Programming
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
Angelic nondeterminism in the unifying theories of programming
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
Angelic Nondeterminism and Unifying Theories of Programming
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
Non-termination in Unifying Theories of Programming
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
Towards mobile processes in unifying theories
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
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Unifying Theories of Programming (UTP) can provide a formal semantic foundation not only for programming languages but also for… (More)
Is this relevant?