Home Publications

Effectively-Propositional Reasoning about Reachability in Linked Data Structures

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • Itzhaky, Shachar
  • Banerjee, Anindya
  • Immerman, Neil
  • Nanevski, Aleksandar
  • Sagiv, Mooly
Editor: Natasha Sharygina and Helmut Veith Volume: 8044
Book title: CAV
Series: Lecture Notes in Computer Science Pages: 756-772
ISBN: 978-3-642-39798-1
(Partners: IMDEA, Projects: TIN2009-14599-C03-02 Desafios, TIN2010-20639 Paran10, TIN2012-39391-C04-01 Strongsoft, EU NoE Project 256980 Nessos, AMAROUT grant PCOFUND-GA-2008-229599, and Ramon y Cajal grant RYC-2010- 0743. Immerman was partially supported by NSF grant CCF 1115448, Tier: A*) CITE(03/03/2014):5