DMCA

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

Cached

Download Links

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