119 search results - page 1 / 24 » Reasoning about Lists via List Interleaving |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
LPAR
1999
Springer
13 years 8 months ago
1999
Springer
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof ...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
AMAST
2006
Springer
13 years 8 months ago
2006
Springer
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...
EJIS
2008
13 years 4 months ago
2008
The Bauer College of Business at the University of Houston uses lists of journals as part of its process to evaluate and reward the research productivity of its faculty. The creat...