Generalized Data Structure Synthesis [pdf] - discu.eu

Hacker News

Generalized Data Structure Synthesis [pdf] https://homes.cs.washington.edu/~mernst/pubs/generalized-synthesis-icse2018.pdf 2 comments 25/6/2018

Linking pages

Generalized data structure synthesis | the morning paper https://blog.acolyer.org/2018/06/21/generalized-data-structure-synthesis/ 21 comments

Related searches:

Search whole site: site:homes.cs.washington.edu

Search title: Generalized Data Structure Synthesis [pdf]

See how to search.

Submit link to: