Matthew Jacobs, E. Christopher Lewis. SMART C: A Semantic Macro Replacement Translator for C. In Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA. pages 95-106, IEEE Computer Society, 2006. [doi]
Abstract is missing.