Published February 12, 2026
| Version v9
Publication
Open
The Mathematics of Execution.
Description
The Mathematics of Execution.
Abstract:
This paper covers the algebraic properties and concepts of `The Execution Semantics' paper by El Mahrouss, A (2026). It is intended as an additional resource over the aforementioned paper.
Related works:
- https://zenodo.org/records/18470651
Files
paper.pdf
Files
(121.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:635190de561a3a98fe0d8115befb9c4f
|
121.4 kB | Preview Download |
Additional details
Related works
- Is part of
- Publication: 10.5281/ZENODO.18366611 (DOI)
Software
- Repository URL
- https://github.com/nekernel-org/papers
- Programming language
- Coq
- Development Status
- Active