A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs (1993)

Cached

Download Links

by Roberto Barbuti , Roberto Giacobazzi , Giorgio Levi
Venue:ACM Transactions on Programming Languages and Systems
Citations:75 - 26 self