Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6874856 | Journal of Logical and Algebraic Methods in Programming | 2018 | 25 Pages |
Abstract
Besides improving existing static analysis techniques, the field-sensitive sharing analysis is interesting in itself, and can be formalized in the framework of abstract interpretation as a refinement of traditional sharing.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Damiano Zanardini,