Improving Abstract Interpretations by Combining Domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. GarcĂ­a de la Banda, Manuel V. Hermenegildo. Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems, 17(1):28-44, 1995. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.