Beyond SICP - Design and Implementation of a Notional Machine for Scheme
summary
Extends the SICP environment model into a concrete notional machine for a defined "SICP Scheme" sublanguage, implemented as a web tool in Source Academy that visualizes execution as control and stash and produces box-and-pointer environment diagrams; the machine uses a minimal set of five instructions (call, assign, branch, make-number, env-restore) and reifies continuations by storing whole program states so call/cc acts as captured state; it runs in the CS1 course for about a year, works despite JS transpilation artifacts (e.g. make-number), and lacks tail-call optimization and macros today.
AI-written summary · about