Searching for "Improving Abstract Interpretations by Combining Domains." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Improving abstract interpretations by combining domains
by Michael Codish, Anne Mu Lkers, Maurice Bruynooghe, De La Banda, Manuel Hermenegildo — 1995 — ACM Transactions on Programming Languages and Systems
…Improving Abstract Interpretations by Combining Domains MICHAEL CODISH Ben-G urion University…
Cited by 47 (14 self) – Add To MetaCart

Publications in Program Development
by June Journal, R. Barbuti, M. Codish, R. Giacobazzi, G. Levi, Modelling The, Journal Logic, P. Van Hentenryck, K. Marriott, H. Sondergaard Difference-list
…. Mulkers, M. Bruynooghe, M. Garc'ia de la Banda, and M. Hermenegildo. Improving abstract interpretations…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB