KnowledgeBase » 
SEMINAR
» ID = 497
Speeding Up the MetaPRL Refiner
by Aleksey Nogin
1998-1999
In my talk I am going to present some techniques and ideas we used to make MetaPRL refiner more than two orders of magnitude faster than NuPRL refiner: term module with delayed substitutions and lazy free variables calculation, "special form" storage of some terms, higher C conversional optimization and other.
This is joint work with Jason Hickey.