Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Interprétation Abtraite"'
Publikováno v:
[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Pentagons is an abstract domain invented by Logozzo and Fähndrich to validate arrayaccesses in low-level programming languages. This algebraic structure provides a cheap “less-thancheck”, which builds a partial order between the integer variable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7be8eb3dc8133c19f91f51dba9a4f089
https://inria.hal.science/hal-01429777
https://inria.hal.science/hal-01429777
