Phillip Stanley-Marbell. Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets. In Hridesh Rajan, Christoph Bockisch, Michael Haupt, Robert Dyer 0001, editors, VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17 - 21, 2010. ACM, 2010. [doi]
Abstract is missing.