First Page | Document Content | |
---|---|---|
Date: 2014-01-13 20:04:09Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics | Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of UtahAdd to Reading ListSource URL: www.schemeworkshop.orgDownload Document from Source WebsiteFile Size: 129,41 KBShare Document on Facebook |