An abstract domain for objects in dynamic programming languagesEasyChair Preprint 1501, version history
Keyphrases: Objects data-structure, abstract interpretation, dynamic programming languages, static analysis |
| |||||||||||||
Copyright © 2012-2024 easychair.org. All rights reserved. |