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

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