11991 search results - page 128 / 2399 » Data Structure Fusion |
145
click to vote
SIGCSE
2012
ACM
13 years 11 months ago
2012
ACM
We present CSTutor, a sketch-based interface designed to help students understand data structures. It currently supports Linked Lists, Binary Search Trees, AVL Trees, and Heaps, a...
126
Voted
AAECC
1999
Springer
15 years 3 months ago
1999
Springer
Gr
108
click to vote
SIGPLAN
2002
15 years 3 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...
138
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...