Published February 6, 2026
| Version v8
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.
Files
paper.pdf
Files
(121.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:046fbcbf508489dc680a5409be71f3fd
|
121.5 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