Designing data systems is something few people understand, and it's very hard and costly. But that, too, could be automated, says new research from Harvard, and we're about to start seeing it in ...

Description The design, implementation, and analysis of abstract data types, data structures and their algorithms. Topics include: data and procedural abstraction, amortized data structures, trees and ...