Abstract Semantic Dependency
Abstract elided by the publisher.
Related papers
- Dependent classes OOPSLA 2007
- Coverage Semantics for Dependent Pattern Matching ESOP 2025
- The Parallel-Semantics Program Dependence Graph for Parallel Optimization CGO 2026
- Skeletal semantics and their interpretations POPL 2019
- Dependency Analysis of Mobile Systems ESOP 2002
- Modular Relaxed Dependencies in Weak Memory Concurrency ESOP 2020
- A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993
- Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs ECOOP 2023