Loading...
conference paper
Existential Heap Abstraction Entailment is Undecidable
2003
10th Annual International Static Analysis Symposium
Loading...
Name
KuncakRinard03ExistentialHeapAbstractionEntailment.pdf
Access type
openaccess
Size
284 KB
Format
Adobe PDF
Checksum (MD5)
4d9106059ec3d11edc49371cd96e332d