Published January 28, 2026
| Version v3
Publication
Open
The Execution Semantics: On Axioms, Domains, and Authority.
Authors/Creators
Description
The Execution Semantics: On Axioms, Domains, and Authority.
Abstract:
This paper presents a foundational framework for execution semantics, consisting of three interconnected theories.
Files
wg05.pdf
Files
(96.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:714dd71dd7e516d986a7e2f6ddab6ea3
|
96.0 kB | Preview Download |
Additional details
Related works
- Is referenced by
- Technical note: 10.5281/zenodo.18378576 (DOI)
Software
- Repository URL
- https://github.com/nekernel-org/papers
- Programming language
- Coq
- Development Status
- Active