Abstract Domains for Universal and Existential Properties
Abstract elided by the publisher.
Related papers
- A bisimulation for type abstraction and recursion POPL 2005
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- On the Universal and Existential Fragments of the µ-Calculus TACAS 2003
- Abstract Types Have Existential Type POPL 1985
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- Higher-order test generation PLDI 2011
- Parametric regular path queries PLDI 2004
- An existential crisis resolved: type inference for first-class existential types ICFP 2021