Memo
(run '(let ((m 3)) ((lambda (n) (* n m)) 5)))
| Step | Stack | Environment | Cont | Dump |
|---|---|---|---|---|
| 1 | s | e | (NIL LDC 3 CONS LDF (NIL LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) AP . c) | d |
| 2 | (NIL . s) | e | (LDC 3 CONS LDF (NIL LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) AP . c) | d |
| 3 | (3 NIL . s) | e | (CONS LDF (NIL LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) AP . c) | d |
| 4 | ((3) . s) | e | (LDF (NIL LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) AP . c) | d |
| 5 | (((NIL LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) . e) (3) . s) | e | (AP . c) | d |
| 6 | NIL | ((3) . e) | (NIL LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) | (s e c . d) |
| 7 | (NIL . NIL) | ((3) . e) | (LDC 5 CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) | (s e c . d) |
| 8 | (5 NIL . NIL) | ((3) . e) | (CONS LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) | (s e c . d) |
| 9 | ((5) . NIL) | ((3) . e) | (LDF (LD (2 . 1) LD (1 . 1) * RTN) AP RTN) | (s e c . d) |
| 10 | (((LD (2 . 1) LD (1 . 1) * RTN) (3) . e) (5) . NIL) | ((3) . e) | (AP RTN) | (s e c . d) |
| 11 | NIL | ((5) (3) . e) | (LD (2 . 1) LD (1 . 1) * RTN) | (NIL ((3) . e) (RTN) s e c . d) |
| 12 | (3 . NIL) | ((5) (3) . e) | (LD (1 . 1) * RTN) | (NIL ((3) . e) (RTN) s e c . d) |
| 13 | (5 3 . NIL) | ((5) (3) . e) | (* RTN) | (NIL ((3) . e) (RTN) s e c . d) |
| 14 | (15 . NIL) | ((5) (3) . e) | (RTN) | (NIL ((3) . e) (RTN) s e c . d) |
| 15 | (15 . NIL) | ((3) . e) | (RTN) | (s e c . d) |
| 16 | (15 . s) | e | c | d |
