3 ms·Generalized Data Structure Synthesis (SIGSOFT Distinguished Paper) [pdf]4 points by espeed 8y ago