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