Boolean Algebra of Shape Analysis Constraints

conference paper

•

Rinard, Martin

2004

Verification, Model Checking and Abstract Interpretation

Name

KuncakRinard04BooleanAlgebraShapeAnalysisConstraints.pdf

Access type

openaccess

Size

178.33 KB

Format

Adobe PDF

Checksum (MD5)

367c9b52672e31a113545ecaee2d769f