11211 search results - page 16 / 2243 » (Data) STRUCTURES |
137
Voted
POPL
2001
ACM
15 years 9 months ago
2001
ACM
AAECC
1999
Springer
14 years 9 months ago
1999
Springer
Gr
SIGPLAN
2002
14 years 9 months ago
2002
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...
CCCG
2008
14 years 11 months ago
2008
We present data structures for triangular emptiness and reporting queries for a planar point set, where the query triangle contains the origin. The data structures use near-linear...
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...