Program analysis for overlaid data structures
We call a data structure overlaid, if a node in the structure includes links for multiple data structures and these links are intended to be used at the same time. In this paper, we present a static program analysis for overlaid data structures. Our analysis implements two main ideas. The first is t...
| Автори: | , , |
|---|---|
| Формат: | Journal article |
| Мова: | English |
| Опубліковано: |
2011
|