11211 search results - page 16 / 2243 » (Data) STRUCTURES |
95
Voted
AAECC
1999
Springer
15 years 11 days ago
1999
Springer
Gr
85
Voted
SIGPLAN
2002
15 years 10 days 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...
73
Voted
CCCG
2008
15 years 2 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...
125
click to vote
SBMF
2010
Springer
14 years 7 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...