16 search results - page 1 / 4 » From Separation Logic to Hyperedge Replacement and Back |
GG
2008
Springer
13 years 5 months ago
2008
Springer
ECEASST
2008
13 years 4 months ago
2008
LPAR
2005
Springer
13 years 10 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
13 years 11 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
13 years 11 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...