A new abstraction framework for affine transformers

DOI10.1007/978-3-319-66706-5_17zbMATH Open1420.68074OpenAlexW2746084993MaRDI QIDQ5233249FDOQ5233249

Authors: Tushar Sharma, Thomas Reps 

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: http://digital.library.wisc.edu/1793/76483

Recommendations

• A new abstraction framework for affine transformers
• Automatic modular abstractions for linear constraints
• A zonotopic framework for functional abstractions
• Constructing Specialized Shape Analyses for Uniform Change
• Invertible linear transforms of numerical abstract domains

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Computing invariants with transformers: experimental scalability and accuracy
• A new abstraction framework for affine transformers

This page was built for publication: A new abstraction framework for affine transformers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233249)