Sciweavers

Share
44 search results - page 1 / 9
» Range Allocation for Separation Logic
Sort
View
CAV
2004
Springer
99views Hardware» more  CAV 2004»
11 years 3 months ago
Range Allocation for Separation Logic
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
Muralidhar Talupur, Nishant Sinha, Ofer Strichman,...
AMAST
2006
Springer
11 years 2 months ago
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
Susumu Nishimura
LICS
2002
IEEE
11 years 3 months ago
Separation Logic: A Logic for Shared Mutable Data Structures
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
John C. Reynolds
POPL
2007
ACM
11 years 10 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
INFOCOM
1999
IEEE
11 years 2 months ago
Measurement-Based Band Allocation in Multiband CDMA
Multiband (or multi-carrier) CDMA is a promising approach to increasing the capacity of CDMA networks, while maintaining compatibility with existing systems. This paper investigate...
Lachlan L. H. Andrew
books