Improving Abstract Interpretations by Combining Domains

Michael Codish, A. Mulkers, Maurice Bruynooghe, María García de la Banda and Manuel Hermenegildo   

Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation; 1993


Available:    bibtex entry

Related sites:   The journal version

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel

© copyright notice