Quotienting Share for Dependency Analysis
No abstract available.
Related papers
- Constructing quotient inductive-inductive types POPL 2019
- Type theory in type theory using quotient inductive types POPL 2016
- Transport via Partial Galois Connections and Equivalences APLAS 2023
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- Quotient Haskell: Lightweight Quotient Types for All POPL 2024
- Model-Checking for Hybrid Systems by Quotienting and Constraints Solving CAV 2000
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL CPP 2013
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels OOPSLA 2013