Semantic type qualifiers.

Brian Chin, Shane Markstrum, Todd D. Millstein

Browse the full PLDI paper archive.