Vi presenterar ett system för att utöka standardsystem med flödeskänsliga typkvalificerare. Användare kommentera sina program med typ kvalificerare, och slutsatsen kontrollerar att kommentarerna är korrekta. I vårt system är endast typkvalificeringarna modellerade flödeskänsligt de underliggande standardtyperna oförändrade, vilket gör att vi kan få en effektiv begränsningsbaserad inferensalgoritm som integrerar flödeskänslig aliasanalys, effektinferens och idéer från linjära typsystem för att stödja starka uppdateringar. Vi demonstrerar nyttan av flödeskänsliga typkvalificerare genom att hitta ett antal nya låsfel i Linuxkärnan.
Uppföljningsarbetet har utökat CQUAL:s typsystem som ska vara flödeskänsligt REF, medan vårt typsystem är flödeskänsligt.
Flow-sensitive type qualifiers
{'venue': "PLDI '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}