Modular rewriting semantics of programming languages (0)

by Christiano Braga, José Meseguer
Venue:In Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST