Login / Signup

Modular reasoning about heap paths via effectively propositional formulas.

Shachar ItzhakyAnindya BanerjeeNeil ImmermanOri LahavAleksandar NanevskiMooly Sagiv
Published in: POPL (2014)
Keyphrases