Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Diagnosing Abstraction Failure for Separation Logic-based Analyses

Josh Berdine, Arlen Cox, Samin Ishtiaq, and Christoph M. Wintersteiger

Details

Publication typeTechReport
NumberMSR-TR-2012-44

Newer versions

Josh Berdine, Arlen Cox, Samin Ishtiaq, and Christoph M. Wintersteiger. Diagnosing Abstraction Failure for Separation Logic-based Analyses, Springer, July 2012.

> Publications > Diagnosing Abstraction Failure for Separation Logic-based Analyses