Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Antoine Miné

Journal title: Foundations and Trends® in Programming Languages

Journal number: 4/3-4

Journal publisher: Now Publishers

Published year: 2017

Published pages: 120-372

DOI identifier: 10.1561/2500000034

ISSN: 2325-1107