796 search results - page 1 / 160 » An Overview of Separation Logic |
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
CORR
2011
Springer
13 years 11 days ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
EUSFLAT
2009
13 years 3 months ago
2009
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
CADE
2008
Springer
14 years 5 months ago
2008
Springer