11784 search results - page 96 / 2357 » Interpolation for data structures |
SIGCSE
2012
ACM
13 years 6 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...
AAECC
1999
Springer
14 years 11 months ago
1999
Springer
Gr
SIGPLAN
2002
14 years 11 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...
105
click to vote
VSTTE
2005
Springer
15 years 4 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...