28 lines
1.2 KiB
Markdown
28 lines
1.2 KiB
Markdown
# docs/formal/vol1-vm-physics/
|
|
|
|
Research volume I — *StarForth VM and Physics-Driven Adaptive Runtime*.
|
|
Scope: FORTH-79 interpreter, the 7-loop physics-driven adaptive runtime,
|
|
Isabelle/HOL formal verification, and the 90-run experimental results.
|
|
|
|
- **[main.tex](main.tex)** — Volume entry point (title/author/date still
|
|
`%% TODO(bob)`).
|
|
- **[ch01-introduction.tex](ch01-introduction.tex)** — Introduction.
|
|
- **[ch02-interpreter.tex](ch02-interpreter.tex)** — FORTH-79 Interpreter.
|
|
- **[ch03-physics-runtime.tex](ch03-physics-runtime.tex)** —
|
|
Physics-Driven Adaptive Runtime.
|
|
- **[ch04-formal-verification.tex](ch04-formal-verification.tex)** —
|
|
Formal Verification.
|
|
- **[ch05-experimental-results.tex](ch05-experimental-results.tex)** —
|
|
Experimental Results.
|
|
- **[appA-build.tex](appA-build.tex)** — Appendix: Build and Deployment.
|
|
- **[appB-acl.tex](appB-acl.tex)** — Appendix: Word-Level ACL System.
|
|
|
|
Built via `make -C docs/formal vol1`; output lands at
|
|
`docs/formal/build/vol1/main.pdf`.
|
|
|
|
## See also
|
|
|
|
- [`docs/formal/README.md`](../README.md) — the three research volumes
|
|
this belongs to (with `vol2-kernel/` and `vol3-research/`).
|
|
- [Project root](../../../README.md)
|