Modular Rewriting Semantics of Programming Languages

José Meseguer, Christiano Braga. Modular Rewriting Semantics of Programming Languages. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 364-378, Springer, 2004. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.