11211 search results - page 16 / 2243 » Data Structures |
101
Voted
SIGPLAN
2002
15 years 2 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...
91
Voted
CCCG
2008
15 years 4 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...
140
Voted
SBMF
2010
Springer
14 years 9 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...