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: |