Rewrite Semantics for Production Rule Systems: Theory and Applications.

Wayne Snyder, James G. Schmolze

Browse the full CADE paper archive.