Issues Arising in the Analysis of L.0
Abstract elided by the publisher.
Related papers
- Graded monads and type-level programming for dependence analysis Haskell 2021
- A logical analysis of aliasing in imperative higher-order functions JFP 2007
- Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers OOPSLA 2025
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- A practical mode system for recursive definitions POPL 2021
- Quotient Polymorphism POPL 2026
- Parallel execution of prolog programs: a survey TOPLAS 2001