Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets

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]

@inproceedings{Stanley-Marbell10,
  title = {Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets},
  author = {Phillip Stanley-Marbell},
  year = {2010},
  doi = {10.1145/1941054.1941055},
  url = {https://doi.org/10.1145/1941054.1941055},
  researchr = {https://researchr.org/publication/Stanley-Marbell10},
  cites = {0},
  citedby = {0},
  booktitle = {VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17 - 21, 2010},
  editor = {Hridesh Rajan and Christoph Bockisch and Michael Haupt and Robert Dyer 0001},
  publisher = {ACM},
  isbn = {978-1-4503-0545-7},
}