27 citations · 47 across the 17 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.PL2016
Higher-Order Linearisability
Andrzej S. Murawski, Nikos Tzevelekos
Linearisability is a central notion for verifying concurrent libraries: a given library is proven safe if its operational history can be rearranged into a new sequential one which,…
cs.PL2016
Block structure vs scope extrusion: between innocence and omniscience
Andrzej S. Murawski, Nikos Tzevelekos
We study the semantic meaning of block structure using game semantics. To that end, we introduce the notion of block-innocent strategies and characterise call-by-value computation…
cs.PL2016★ 1 cited
Trace semantics for polymorphic references
Guilhem Jaber, Nikos Tzevelekos
We introduce a trace semantics for a call-by-value language with full polymorphism and higher-order references. This is an operational game semantics model based on a nominal inter…