An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.
| Autor: | Toubhans, Antoine, Chang, Bor-Yuh Evan, Rival, Xavier |
|---|---|
| Zdroj: | Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings; 2014, p285-301, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|