Sciweavers

TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
14 years 5 months ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman