1. A theory of type qualifiers;Foster,1999
2. Reliable and automatic composition of language extensions to C: the ableC extensible language framework;Kaminski;Proc. ACM on Program. Lang. 1,2017
3. Attribute grammar-based language extensions for Java;Wyk,2007
4. Type qualifiers as composable language extensions;Carlson,2017
5. Detecting format string vulnerabilities with type qualifiers;Shankar,2001