Instruction Sets, Programs, and Proofs: Semantics, Equivalence, and Optimization
book
authors:Bommarito, M. J.
year:2026
venue:Open textbook
details:553-page open textbook with a complete EPUB, 67 figures, build provenance, and a machine-checkable evidence ledger.
citation
Bommarito, M. J. (2026). Instruction Sets, Programs, and Proofs: Semantics, Equivalence, and Optimization. Open textbook. 553-page open textbook with a complete EPUB, 67 figures, build provenance, and a machine-checkable evidence ledger..