Adrian Colyer (The Morning Paper) personal blog
Generalized data structure synthesis
Generalized data structure synthesis Loncaric et al., ICSE’18 Many systems have a few key data structures at their heart. Finding correct and efficient implementations for these data structur…
- Points
- 152
- HN comments
- 5
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 21, 2018 | Generalized data structure synthesis by mpweiher | 152 | 5 |
