Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation (2007)

Cached

Download Links

by Germán Vidal
Venue:In Proc. of the ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM’07
Citations:9 - 5 self