16 search results - page 1 / 4 » From Hyperedge Replacement to Separation Logic and Back |
GG
2008
Springer
13 years 12 months ago
2008
Springer
ECEASST
2008
13 years 11 months ago
2008
LPAR
2005
Springer
14 years 4 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
ER
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web based on static content pages that are brows...