An Experiment
Specialized & executed an interpreter for a simple imperative language with a tiny program (by SML/NJ 110.0.3 on UltraSPARC 168 MHz with 1.2 GB Main Memory)
spec exec
(No PE) 0.30
[Danvy 96](*1) 0.57 0.14
[Danvy 97](*2) 0.24 0.13
[Sumii 99](*2) 0.10 0.14 (msec)
(*1) abstracted out all primitive operators
(*2) removed unnecessary 's by monovariant BTA