Sciweavers

11231 search results - page 133 / 2247
» Digging for Data Structures
Sort
View
CIKM
2001
Springer
15 years 4 months ago
Structural Inference for Semistructured Data
Jason Sankey, Raymond K. Wong
CSL
2001
Springer
15 years 4 months ago
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
ERSHOV
2001
Springer
15 years 4 months ago
Equivalent Transformation by Safe Extension of Data Structures
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi