A new abstraction framework for affine transformers

DOI10.1007/s10703-018-0325-zzbMath1425.68084OpenAlexW2896626142WikidataQ129004180 ScholiaQ129004180MaRDI QIDQ2322316

Tushar Sharma, Thomas W. Reps

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

zbMATH Keywords

abstract interpretationprogram verificationabstract domainsbit-vectorsaffine transformers

Mathematics Subject Classification ID

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

• LLVM
• WALi
• TSL

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