Cyber & formal methods publications March 1, 2004 Conference PaperRewrite Systems for Symbolic Evaluation of C-like Preprocessing SRI International March 1, 2004 Citation Copy to clipboard Mario Latendresse. Rewrite Systems for Symbolic Evaluation of C-like Preprocessing, in Proceedings of CSMR’04, pp. 165-173, Mar 2004. ↓ Download Share this