Modular reasoning about heap paths via effectively propositional formulas
Research Area: | Uncategorized | Year: | 2014 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Editor: | Suresh Jagannathan and Peter Sewell | ||
Book title: | POPL | ||
Pages: | 385-396 | ||
ISBN: | 978-1-4503-2544-8 | ||
BibTex: |
|||
Note: | 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 |
||
[Bibtex] |