next up previous contents
Next: AI of a Simple Up: Meta-Programming Previous: A Metainterpreter for Explicit

Abstract Interpretation

Abstract Interpretation examples. (partial evaluation, and assert.)

Show low overhead of tabling in meta-interpreter, due to how tables are implemented as tries.



 

David S. Warren
1999-07-31