Directional Type Checking of Logic Programs (1994)

Cached

Download Links

by Alexander Aiken , T. K. Lakshman
Venue:In Proceedings of the 1st International Static Analysis Symposium
Citations:42 - 1 self