Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020
Game Semantics: Easy as Pi
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
Game semantics has proven to be a robust method to give compositional semantics for a variety of higher-order programming languages. However, due to the complexity of most game mod…
cs.PL2018
An Asynchronous soundness theorem for concurrent separation logic
Paul-André Melliès, Léo Stefanesco
Concurrent separation logic (CSL) is a specification logic for concurrent imperative programs with shared memory and locks. In this paper, we develop a concurrent and interactive a…