Data structure synthesis

Abstract

All mainstream languages ship with libraries implementing lists, maps, sets, trees, and other common data structures. These libraries are sufficient for some use cases, but other applications need specialized data structures with different operations. For such applications, the standard libraries are not enough.

BibTeX

@inproceedings{Loncaric:FSE16,
  author    = {Calvin Loncaric},
  title     = {Data structure synthesis},
  booktitle = {FSE},
  pages     = {1073--1075},
  publisher = {{ACM}},
  year      = {2016},
}

Data structure synthesis

Abstract

Related papers