7 citations · 21 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
IMP with exceptions over decorated logic
Burak Ekici
In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with `decorations' that describe what computational (side) effect evaluation of a…
cs.LO2015
Hilbert-Post completeness for the state and the exception effects
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici +2
In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states eff…