85 citations · 103 across the 13 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013★ 1 cited
Abstract interpretation as anti-refinement
Arnaud Spiwack
This article shows a correspondence between abstract interpretation of imperative programs and the refinement calculus: in the refinement calculus, an abstract interpretation of a…
cs.LO2013
The Rooster and the Syntactic Bracket
Hugo Herbelin, Arnaud Spiwack
We propose an extension of pure type systems with an algebraic presentation of inductive and co-inductive type families with proper indices. This type theory supports coercions tow…