A Monadic Categorical Semantics for Threads Export

@misc{citeulike:273929, abstract = {Rather than relegating threads to be a machine-level concept, it is possible to describe thread semantics at the programming-language level. Here, a categorical semantics is given for a potentially multithreaded programming language. The thread behavior is packaged as a monad, and the semantics is described both directly and via a semantics-preserving \trampolining\" translation into a -calculus-like metalanguage. The semantics captures the notions of incremental work, interleaving, and it...}, author = {Sobel, Jonathan and Ganz, Steven E. and Friedman, Daniel P. and Wand, Mitchell}, citeulike-article-id = {273929}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.4299}, keywords = {category-theory, monads, threading}, posted-at = {2006-08-18 11:38:56}, priority = {2}, title = {A Monadic Categorical Semantics for Threads}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.4299} }

TY - GEN ID - citeulike:273929 L3 - citeulike-article-id:273929 N2 - Rather than relegating threads to be a machine-level concept, it is possible to describe thread semantics at the programming-language level. Here, a categorical semantics is given for a potentially multithreaded programming language. The thread behavior is packaged as a monad, and the semantics is described both directly and via a semantics-preserving \trampolining" translation into a -calculus-like metalanguage. The semantics captures the notions of incremental work, interleaving, and it... TI - A Monadic Categorical Semantics for Threads KW - category-theory KW - monads KW - threading AU - Sobel, Jonathan AU - Ganz, Steven AU - Friedman, Daniel AU - Wand, Mitchell UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.4299 ER -