Loading...
conference paper
Boolean Algebra of Shape Analysis Constraints
2004
Verification, Model Checking and Abstract Interpretation
Loading...
Name
KuncakRinard04BooleanAlgebraShapeAnalysisConstraints.pdf
Access type
openaccess
Size
178.33 KB
Format
Adobe PDF
Checksum (MD5)
367c9b52672e31a113545ecaee2d769f