SMART C: A Semantic Macro Replacement Translator for C.

Matthew Jacobs, E. Christopher Lewis

Browse the full SCAM paper archive.