11211 search results - page 16 / 2243 » Data Structures |
127
click to vote
SIGPLAN
2002
15 years 5 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...
125
click to vote
CCCG
2008
15 years 7 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...
179
click to vote
SBMF
2010
Springer
15 years 8 days 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...