Home Publications

Modular reasoning about heap paths via effectively propositional formulas

Research Area: Uncategorized Year: 2014
Type of Publication: In Proceedings
  • Itzhaky, Shachar
  • Banerjee, Anindya
  • Immerman, Neil
  • Lahav, Ori
  • Nanevski, Aleksandar
  • Sagiv, Mooly
Editor: Suresh Jagannathan and Peter Sewell
Book title: POPL
Pages: 385-396
ISBN: 978-1-4503-2544-8
PARTNERS: IMDEA PROJECTS: European Union’s Seventh Framework Program (FP7/2007-2013) / ERC grant agreement no.[321174-VSSC], Israel Science Founda- tion (652/11). Spanish MINECO 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. TIER: A CITE(03/03/2014):0