A model of cooperative threads
symposium on principles of programming languages(2009)
摘要
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-based denotational semantics for this language; this semantics is fully abstract but mathematically elementary. We also give an equational theory for the computational effects that underlie the language, including thread spawning. We then analyze threads in terms of the free algebra monad for this theory.
更多查看译文
关键词
denotational semantics,monad,operational semantics,transaction
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络