11211 search results - page 16 / 2243 » (Data) STRUCTURES |
173
Voted
AAECC
1999
Springer
15 years 7 months ago
1999
Springer
Gr
165
click to vote
SIGPLAN
2002
15 years 7 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...
173
Voted
CCCG
2008
15 years 8 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...
223
Voted
SBMF
2010
Springer
15 years 2 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...