A New Abstraction Framework for Affine Transformers

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

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

Mathematics Subject Classification ID

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

Related Items (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)