651 search results - page 1 / 131 » Structured Types and Separation Logic |
ENTCS
2008
13 years 5 months ago
2008
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...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
EGC
2005
Springer
13 years 11 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...