Formal Properties of Recursive Virtual Machine Architectures.

Grald Belpaire, Nai-Ting Hsu

Browse the full SOSP paper archive.