An abstract domain for trees with numeric relations

DOI10.1007/978-3-030-17184-1_26zbMath1524.68092MaRDI QIDQ6070805

Abdelraouf Ouadjaout, Antoine Miné, Matthieu Journault

Publication date: 24 November 2023

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

Mathematics Subject Classification ID

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

Related Items (1)

Lifting numeric relational domains to algebraic data types

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