Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,250,724 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
Algebraic semantics (computer science)
Communicating sequential processes
Computer program
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Unifying Theories of Mobile Channels
Gerard Ekembe Ngondi
Refine@FM
2016
Corpus ID: 14985600
In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics…
Expand
Review
2013
Review
2013
Unifying Theories of Programming in Isabelle
S. Foster
,
J. Woodcock
ICTAC Training School on Software Engineering
2013
Corpus ID: 42310258
This is a tutorial introduction to the two most basic theories in Hoare & He's Unifying Theories of Programming and their…
Expand
2012
2012
Unifying Theories of Programming with Monads
J. Gibbons
Unifying Theories of Programming
2012
Corpus ID: 33105437
The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a…
Expand
2012
2012
Unifying Theories of Undefinedness in UTP
J. Woodcock
,
V. Bandur
Unifying Theories of Programming
2012
Corpus ID: 21648507
In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics…
Expand
2010
2010
Unifying Theories of Programming
S. Qin
Lecture Notes in Computer Science
2010
Corpus ID: 26886079
A trace of the execution of a concurrent object-oriented program can be displayed in two-dimensions as a diagram of a non-metric…
Expand
2007
2007
Unifying Theories of Objects
M. Smith
,
J. Gibbons
International Conference on Integrated Formal…
2007
Corpus ID: 42311273
We present an approach to modelling Abadi-Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here…
Expand
Highly Cited
2006
Highly Cited
2006
rCOS: A refinement calculus of object systems
J. He
,
Xiaoshan Li
,
Zhiming Liu
Theoretical Computer Science
2006
Corpus ID: 16560725
2005
2005
Non-termination in Unifying Theories of Programming
Walter Guttmann
RelMiCS
2005
Corpus ID: 580894
Within the shape Unifying Theories of Programming framework, program initiation and termination has been modelled by introducing…
Expand
Review
2004
Review
2004
A Tutorial Introduction to CSP in Unifying Theories of Programming
Ana Cavalcanti
,
J. Woodcock
Pernambuco Summer School on Software Engineering
2004
Corpus ID: 6897081
In their Unifying Theories of Programming (UTP), Hoare & He use the alphabetised relational calculus to give denotational…
Expand
Highly Cited
1998
Highly Cited
1998
Unifying theories of programming
J. He
,
C. Hoare
RelMiCS
1998
Corpus ID: 28825627
Professional practice in a mature engineering discipline is based on relevant scientific theories, usually expressed in the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE