Open AccessTutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Author(s) -
Antoine Miné
Publication year - 2017
Publication title -
foundations and trends® in programming languages
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.272
H-Index - 9
eISSN - 2325-1131
pISSN - 2325-1107
DOI - 10.1561/2500000034
Subject(s) - interpretation (philosophy) , inference , computer science , artificial intelligence , programming language
International audienc
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom