Beautiful Interpolants
No abstract available.
Related papers
- The Beauty and the Beast: Separating Design from Algorithm ECOOP 2011
- Beauty in the beast Haskell 2007
- Beautiful differentiation ICFP 2009
- Functional pearl: la tour d'Hanoï ICFP 2009
- Widening and Interpolation SAS 2011
- Lazy Abstraction with Interpolants CAV 2006
- Merit: An Interpolating Model-Checker CAV 2010
- Effectively Propositional Interpolants CAV 2016