2 search results - page 1 / 1 » Checking Well-Formedness of Pure-Method Specifications |
FM
2008
Springer
14 years 13 days ago
2008
Springer
FORTE
2010
14 years 10 days ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...