Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned.

Leonid Ryzhyk Adam Walker

Published in: SYNT@CAV (2016)

Keyphrases

database systems
lessons learned
case study
future directions
database
program synthesis
artificial intelligence
user experience
software tools
design science
participatory design