2 results
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 […]
Published on October 20, 2010
Radu Mardare ; Prakash Panangaden ; Gordon D. Plotkin.
We present an algebraic account of the Wasserstein distances $W_p$ on complete metric spaces, for $p \geq 1$. This is part of a program of a quantitative algebraic theory of effects in programming languages. In particular, we give axioms, parametric in $p$, for algebras over metric spaces equipped […]
Published on September 14, 2018