Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Existential Heap Abstraction Entailment is Undecidable
 
Loading...
Thumbnail Image
conference paper

Existential Heap Abstraction Entailment is Undecidable

Kuncak, Viktor  
•
Rinard, Martin
2003
10th Annual International Static Analysis Symposium
  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

KuncakRinard03ExistentialHeapAbstractionEntailment.pdf

Access type

openaccess

Size

284 KB

Format

Adobe PDF

Checksum (MD5)

4d9106059ec3d11edc49371cd96e332d

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés