A new abstraction framework for affine transformers
From MaRDI portal
Publication:2322316
DOI10.1007/s10703-018-0325-zzbMath1425.68084OpenAlexW2896626142WikidataQ129004180 ScholiaQ129004180MaRDI QIDQ2322316
Publication date: 4 September 2019
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: http://digital.library.wisc.edu/1793/76483
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Lifting numeric relational domains to algebraic data types ⋮ Foreword to the special issue on the 2017 static analysis symposium
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The octagon abstract domain
- Two-level semantics and abstract interpretation
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- An Abstract Domain of Uninterpreted Functions
- Sound Bit-Precise Numerical Domains
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
- Precise interprocedural analysis through linear algebra
- Taming the Wrapping of Integer Arithmetic
- Automatic Abstraction for Congruences
- Systematic design of program transformation frameworks by abstract interpretation
- Programming Languages and Systems
- Program Analysis Using Weighted Pushdown Systems
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: A new abstraction framework for affine transformers