Angelic nondeterminism in the unifying theories of programming-Reference-Cited by-同舟云学术

Angelic nondeterminism in the unifying theories of programming

Published:2006-09 Issue:3 Volume:18 Page:288-307
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Cavalcanti Ana¹,Woodcock Jim¹,Dunne Steve²

Affiliation:

1. Department of Computer Science, University of York, YO10 5DD, York, England

2. School of Computing, University of Teesside, TS1 3BA, Middlesbrough, England

Abstract

Abstract Hoare and He’s unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. The aim of Hoare and He’s work is the unification of languages and techniques, so that we can benefit from results in different contexts. In this paper, we investigate the integration of angelic nondeterminism in the UTP; we propose the unification of a model of binary multirelations, which is isomorphic to the monotonic predicate transformers model and can express angelic and demonic nondeterminism.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-006-0001-8.pdf

Reference24 articles.

1. A lattice-theoretical basis for a specification language

2. Duality in specification languages: a lattice-theoretical approach

3. Combining angels, demons and miracles in program specifications

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Tour Through the Programming Choices: Semantics and Applications;Lecture Notes in Computer Science;2024

2. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023

3. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02

4. Angelic processes for CSP via the UTP;Theoretical Computer Science;2019-01

5. An algebraic approach to multirelations and their properties;Journal of Logical and Algebraic Methods in Programming;2017-04