Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs
Abstract elided by the publisher.
Related papers
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- A static analyzer for large safety-critical software PLDI 2003
- Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl) Haskell 2020
- Type-based amortized resource analysis with integers and arrays JFP 2015
- The Octahedron Abstract Domain SAS 2004
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints POPL 1977
- Strictness Analysis and Denotational Abstract Interpretation POPL 1987