Existential Quantification for Variant Ownership
Abstract elided by the publisher.
Related papers
- Existential Quantification as Incremental SAT CAV 2011
- Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions CAV 1995
- Fulminate: Testing CN Separation-Logic Specifications in C POPL 2025
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Abstract effects and proof-relevant logical relations POPL 2014
- Transfinite Iris: resolving an existential dilemma of step-indexed separation logic PLDI 2021
- Type Classes with Existential Types JFP 1996