Lemma Synthesis for Automating Induction over Algebraic Data Types.
Weikun YangGrigory FedyukovichAarti GuptaPublished in: CP (2019)
Keyphrases
- data types
- program synthesis
- functional programs
- data model
- data structure
- database systems
- user defined
- back end
- database management systems
- data manipulation language
- machine learning
- abstract data types
- microsoft sql server
- data mining algorithms
- johnson lindenstrauss
- data formats
- general purpose
- data mining
- data management
- database server
- knn
- website
- information retrieval
- neural network
- data sets
- database