11211 search results - page 45 / 2243 » (Data) STRUCTURES |
111
Voted
DATESO
2009
14 years 10 months ago
2009
In recent years, many approaches to XML twig pattern query (TPQ) processing have been developed. Some algorithms are supported by a stream abstract data type. s an abstract data ty...
111
Voted
SIGCSE
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
119
Voted
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
96
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...