| |
| | Caml Weekly News (Site not responding. Last check: 2007-11-06) |
 | | Memoization and continuation passing style (CPS) are orthogonal but the combination of both techniques is not very usual. |
 | | Strongly non circular attribute grammars, la attribute grammars,...) In this case, the memoization support may be a tree, a stack, a global variable... |
 | | See also XSB http://xsb.sourceforge.net/ Some papers by Mark Johnson (available via CiteSeer or Google) Memoization of Coroutined Constraints (1995) Memoization of top-down parsing (1995) Memoization in Constraint Logic Programming (1993) And a simple but good enough article by a Ms student Matthew Frank, Efficient Execution of Declarative Programs (Area Exam Report), February 9, 2001. |
| pauillac.inria.fr /~aschmitt/cwn/2003.05.06.html (1625 words) |
|