search

rrthomas / mit

A simple stack-based VM
Other
10 stars 3 forks source link

Formalize the grammar of stack pictures #404

Closed rrthomas closed 3 years ago

rrthomas commented 4 years ago
  1. Add ellipsis at the bottom of every stack picture (…)
  2. Grammar: distinguish stack item, computation stack, call stack & catch stack.
  3. Then a stack effect is formally defined in terms of a catch stack, but we want to be able to elide catch & call stacks where they don't change from before to after in a stack effect.