Cozy: synthesizing collection data structures
| Autor: | Calvin Loncaric |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Inductive synthesis
Correctness Theoretical computer science Computer engineering Computer science 020204 information systems Human error 0202 electrical engineering electronic engineering information engineering 020207 software engineering 02 engineering and technology Data structure Implementation |
| Zdroj: | SIGSOFT FSE |
| DOI: | 10.1145/2950290.2986032 |
| Popis: | Many applications require specialized data structures not found in standard libraries. Implementing new data structures by hand is tedious and error-prone. To alleviate this difficulty, we built a tool called Cozy that synthesizes data structures using counter-example guided inductive synthesis. We evaluate Cozy by showing how its synthesized implementations compare to handwritten implementations in terms of correctness and performance across four real-world programs. Cozy's data structures match the performance of the handwritten implementations while avoiding human error. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|