Bottom-up abstract interpretation of logic programs (1994)

Cached

Download Links

by Michael Codish , Dennis Dams , Eyal Yardeni
Venue:Theoretical Computer Science
Citations:56 - 16 self