Semantic type qualifiers
Fact Qualifiers in Security Scenarios
A theory of type qualifiers
Flow-sensitive type qualifiers
Flow-Sensitive Type Qualifiers
Flow-insensitive type qualifiers
Do qualifiers of ASCUS distinguish between low- and high-risk patients?
Detecting Format String Vulnerabilities with Type Qualifiers
Detecting format string vulnerabilities with type qualifiers
An evaluation of regular path expressions with qualifiers against XML streams
