abstracting-definitional-interpreters

abstracting-definitional-interpreters copied to clipboard

The following program seems to crash `eval-pdcfa-gc` (but not `eval-pdcfa-widen-gc`). ``` (define (fiblike N) (parse `((rec f (λ (x) (if0 x 1 (+ (f (- x 1)) (f (- x...

polux

BNF at beginning of Section 3

1

is (1) missing the op2 case, (2) is labeled incorrectly (`num` and `if` are wrong), and (3) ideally should be defined in the same order as the code that follows...

davdar

> The dead-code analysis is cute, but never comes up again and by itself seems rather impractical. Could it be tied into the rest of the development more crisply, or...

dvanhorn