An abstract domain for trees with numeric relations

DOI10.1007/978-3-030-17184-1_26MaRDI QIDQ6070805zbMATH OpenFDO

Authors Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_26

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05) Formal languages and automata (68Q45)

Recommendations

• \textsf{TreeKs}: a functor to make numerical abstract domains scalable
• scientific article; zbMATH DE number 1738295
• scientific article; zbMATH DE number 1948392
• Non-disjunctive Numerical Domain for Array Predicate Abstraction
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• Rational tree relations
• Lifting numeric relational domains to algebraic data types
• An input-output relational domain for algebraic data types and functional arrays

This page was built for publication: An abstract domain for trees with numeric relations

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