A program simulator by partial interpretation.

Kazuhiro Fuchi, Hozumi Tanaka, Yuriko Manago, Toshitsugu Yuba

Browse the full SOSP paper archive.