Unifying Theories of Programming
Semantic Scholar uses AI to extract papers important to this topic.
- Sci. Comput. Program.
In this paper we consider three theories of programs and specifications at different levels of abstraction. The theories we focus… (More)
- ICTAC Training School on Software Engineering
This is a tutorial introduction to the two most basic theories in Hoare & He’s Unifying Theories of Programming and their… (More)
The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a… (More)
This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that… (More)
This paper presents a personal account of developments leading to Unifying Theories of Programming, and some opinions about the… (More)
- Formal Aspects of Computing
Hoare and He’s unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports… (More)
- Electr. Notes Theor. Comput. Sci.
Hoare and He’s unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates, which… (More)
Within the Unifying Theories of Programming framework, program initiation and termination has been modelled by introducing a pair… (More)
The paper presents a denotational semantics of mobile processes in Hoare & He's Unifying Theories of Programming (UTP). Process… (More)
Unifying Theories of Programming (UTP) can provide a formal semantic foundation not only for programming languages but also for… (More)