Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Existential Heap Abstraction Entailment is Undecidable
conference paper
Existential Heap Abstraction Entailment is Undecidable
Kuncak, Viktor
•
Rinard, Martin
2003
10th Annual International Static Analysis Symposium
Files
Details
Metrics