research article

Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses

Lam, Patrick
•
Kuncak, Viktor  
•
Rinard, Martin
2004
SIGPLAN Notices
Loading...
Thumbnail Image
Name

LamETAL04GeneralizedTypestateCheckingUsingSets.pdf

Access type

openaccess

Size

180.47 KB

Format

Adobe PDF

Checksum (MD5)

76f9dc732ede45d15d4228d19bcbf59e