Keeps this page in sync as the body changes. Pause it any time for a quieter view.
Path /nodes/asset%3Athesis-backtracking-model-languages-2000
Last refresh never
MS thesis, CU Boulder 2000. Bjorg-Muff Angelic project. The published canonical text. Defines BML (Backtracking Model Language), BMF (Backtracking Model Form — the self-describing parser grammar), BMA (Angelic Assembler), and BMCPU (the C++ virtual machine). A non-deterministic compiler-compiler with built-in backtracking and speculation. Roughly one year of full-time graduate creation.
Presence: /people/backtracking-model-languages
asset:thesis-backtracking-model-languages-2000
Touches
0
contributions
Ledger cost
CC 0.00
summed
Coherence
—
avg
Witnessed
8
views over 90 days
Every view earns CC: 80% creator · 15% renderer · 5% host node
No contributions are tracked for this vessel yet. When tending lands, the trail shows up here — who, when, what it cost.
No implementation evidence yet. Submissions land here when a cell builds from this vessel and shares photos, GPS, or community attestations.