M.: A Theory of Totally Correct Logic Pro- gram Transformations (2004)

by A Petterossi, Proietti
Venue:In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM