Taming Macros
Abstract elided by the publisher.
Related papers
- SuperC: parsing all of C by taming the preprocessor PLDI 2012
- Taming Infinite State Spaces CAV 1991
- Taming warp divergence CGO 2017
- Taming the Wrapping of Integer Arithmetic SAS 2007
- Taming context-sensitive languages with principled stateful parsing SLE 2016
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality APLAS 2017
- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems ESOP 2013
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages ECOOP 1994