Switch Code Generation Using Program Synthesis.
Xiangyu GaoTaegyun KimMichael D. WongDivya RaghunathanAatish Kishan VarmaPravein Govindan KannanAnirudh SivaramanSrinivas NarayanaAarti GuptaPublished in: SIGCOMM (2020)
Keyphrases
- program synthesis
- code generation
- application development
- code generator
- software development
- model driven
- modeling language
- formal specification
- software reuse
- rapid prototyping
- design patterns
- recursive programs
- inductive logic programming
- computer aided
- data management
- object oriented
- information extraction
- knowledge base
- database
- design tools
- data integration
- database systems
- high level