Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Simone Di Nardo Di Maio"'
Publikováno v:
Acta Informatica. 55:521-545
A static analysis by abstract interpretation is typically composed of an ascending phase followed by a descending one. The descending phase is used to improve the precision of the analysis after that a post-fixpoint has been reached. Termination is o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84ac9cf688142a67efc297ccba16eabe
https://doi.org/10.1007/s00236-016-0291-0
https://doi.org/10.1007/s00236-016-0291-0
Publikováno v:
FM 2015: Formal Methods ISBN: 9783319192482
FM
FM
In the theory of abstract interpretation, a descending phase may be used to improve the precision of the analysis after a post-fixpoint has been reached. Termination is often guaranteed by using narrowing operators. This is especially true on numeric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b63b150a4059dbdc722d778d6dd736d4
https://doi.org/10.1007/978-3-319-19249-9_5
https://doi.org/10.1007/978-3-319-19249-9_5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319175232
NFM
NFM
In the abstract interpretation theory, program properties are encoded by abstract domains, and the combination of abstract domains leads to new properties to be analyzed. We propose a new method to combine numerical abstract domains based on the Mink
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::890530c5700eb10a2a888337891666de
https://doi.org/10.1007/978-3-319-17524-9_4
https://doi.org/10.1007/978-3-319-17524-9_4
Publikováno v:
SOAP@PLDI
Numerical static analysis computes an approximation of all the possible values that a numeric variable may assume, in any execution of the program. Many numerical static analyses have been proposed exploiting the theory of abstract interpretation, wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f044f89e8e083215ea1beb741d27db72
https://doi.org/10.1145/2487568.2487571
https://doi.org/10.1145/2487568.2487571