Thread-modular shape analysis.
| Autor: | Gotsman, Alexey, Berdine, Josh, Cook, Byron, Sagiv, Mooly |
|---|---|
| Zdroj: | Proceedings of the 2007 ACM SIGPLAN Conference: Programming Language Design & Implementation; 6/10/2007, p266-277, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|