Towards a Unifying Semantics Playground.
Abstract
We give a brief presentation of how Unifying Theories of Programming (UTP) can be used to define program languages and their semantics.We describe and show examples of the use of a prototype theorem-prover reasonEq that supports equational reasoning for UTP.We discuss how this tool is intended to support work into various formal approaches to concurrency.
Fields of Study & Subjects
Model-Driven Software Engineering Techniques
Logic
programming
and type systems
Semantic Web and Ontologies
Publication details
- Journal / source
- The Journal of Object Technology
- Volume
- 25
- Issue
- 1
- Pages
- 1:1–1:1
- Publication date
- 1 January 2026
- Language
- EN