Keeps this page in sync as the body changes. Pause it any time for a quieter view.
Path /people/bjorg-angelic-assembler
Last refresh never
· Work ·
2000
Bjorg's paper that names the assembly language and the 'degree of freedom' speculation semantics. Where the word Angelic lives — the speculative-execution layer beneath BML's non-deterministic compiler-compiler.