Loading...
Please wait, while we are loading the content...
Similar Documents
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
| Content Provider | ACM Digital Library |
|---|---|
| Author | Stanley-Marbell, Phillip |
| Abstract | Presented is the design, implementation and evaluation of a system for computing with non-enumerative set representations. The implementation is in the form of a set assembly language (Sal) whose operations correspond to an implementation of the algebra of sets, with minimal added syntactic sugar; a compiler (Salc) for validation and static optimization of Sal definitions; and a virtual machine architecture (Svm) for executing Sal definitions. Sal/Svm has turned out to be a surprisingly versatile framework for a growing number of problems. One such application, as a framework for declaratively specifying computational problems with the same level of precision that traditional machine languages enable the specification of computational algorithms, is presented. |
| Starting Page | 1 |
| Ending Page | 10 |
| Page Count | 10 |
| File Format | |
| ISBN | 9781450305457 |
| DOI | 10.1145/1941054.1941055 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2010-10-17 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Declarative problem specification Languages for future device technologies Set theory Virtual machines |
| Content Type | Text |
| Resource Type | Article |
