The aim is to establish a foundational framework for understanding execution semantics through interconnected theories.
Developed a framework encompassing execution semantics, axioms, and domains.
Explored the interconnections between the developed theories.
Outlined three interconnected theories that form the basis for execution semantics.
Provided insights into the relationships between axioms, domains, and authority.
Abstract
The Execution Semantics: On Axioms, Domains, and Authority. This paper presents a foundational framework for execution semantics, consisting of three interconnected theories.