Disjunctive relational abstract interpretation for interprocedural program analysis

DOI10.1007/978-3-030-11245-5_7OpenAlexW2908880393MaRDI QIDQ2287076

Rémy Boutonnet, Nicolas Halbwachs

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Lifting numeric relational domains to algebraic data types

This page was built for publication: Disjunctive relational abstract interpretation for interprocedural program analysis