85 citations · 102 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CL2020★ 1 cited
FraCaS: Temporal Analysis
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
In this paper, we propose an implementation of temporal semantics which is suitable for inference problems. This implementation translates syntax trees to logical formulas, suitabl…
cs.PL2020
Dynamic IFC Theorems for Free!
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
We show that noninterference and transparency, the key soundness theorems for dynamic IFC libraries, can be obtained "for free", as direct consequences of the more general parametr…