SVA and PSL Local Variables - A Practical Approach
Abstract elided by the publisher.
Related papers
- Syntactic Optimizations for PSL Verification TACAS 2007
- Interface-Based Protocol Specification of Open Systems using PSL ECOOP 1995
- From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis SAS 2010
- A probabilistic separation logic POPL 2020
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- Fast interprocedural linear two-variable equalities TOPLAS 2011
- Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming POPL 2026
- Current Status of a Portable Lisp Compiler PLDI 1982