conference paper

Generalized Typestate Checking for Data Structure Consistency

Lam, Patrick
•
Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2005
Verification, Model Checking and Abstract Interpretation
Loading...
Thumbnail Image
Name

LamETAL05GeneralizedTypestateCheckingDataStructureConsistency.pdf

Access type

openaccess

Size

158.98 KB

Format

Adobe PDF

Checksum (MD5)

bb5de1e125a6269a91274fc2e86a8637