Published February 16, 2026
| Version v12
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.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:9f16cf716885a7ade5fda2e2006c6040
|
121.7 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