Generalized Typestate Checking for Data Structure Consistency

conference paper

Lam, Patrick

•

•

Rinard, Martin

2005

Verification, Model Checking and Abstract Interpretation

Name

LamETAL05GeneralizedTypestateCheckingDataStructureConsistency.pdf

Access type

openaccess

Size

158.98 KB

Format

Adobe PDF

Checksum (MD5)

bb5de1e125a6269a91274fc2e86a8637