Type Analysis of Logic Programs in the Presence of Type Definitions (1995)

Cached

Download Links

by Lunjin Lu
Venue:In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based program manipulation
Citations:8 - 6 self

Document Versions

Type Analysis of Logic Programs in the Presence of Type Definitions –Lunjin Lu — 1995 — In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based program manipulation