MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A language and framework for invariant-driven transformations
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Hi-index | 0.01 |