Existential Heap Abstraction Entailment is Undecidable

conference paper

•

Rinard, Martin

2003

10th Annual International Static Analysis Symposium

Name

KuncakRinard03ExistentialHeapAbstractionEntailment.pdf

Access type

openaccess

Size

284 KB

Format

Adobe PDF

Checksum (MD5)

4d9106059ec3d11edc49371cd96e332d