Search

• < Previous
• 1
• Next >

---

A Model of Cooperative Threads

Martín Abadi ; Gordon D. Plotkin.

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&nbsp;[&hellip;]

---

Smart Choices and the Selection Monad

Martin Abadi ; Gordon Plotkin.

Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimization techniques and, increasingly, by&nbsp;[&hellip;]

---