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

68Q45: Formal languages and automata

68P05: Data structures

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

Related Items

Lifting numeric relational domains to algebraic data types