Establishing local temporal heap safety properties with applications to compile-time memory management
| Autor: | Shaham, Ran, Yahav, Eran, Kolodner, Elliot K., Sagiv, Mooly |
|---|---|
| Zdroj: | In Science of Computer Programming 2005 58(1):264-289 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect