Sound reasoning about integral data types with a reusable SMT solver interface.
Régis BlancViktor KuncakPublished in: Scala@PLDI (2015)
Keyphrases
- data types
- data manipulation language
- data model
- user defined
- database systems
- data structure
- database management systems
- user friendly
- abstract data types
- data mining algorithms
- back end
- document object model
- statistical machine translation
- database server
- data sets
- data formats
- database objects
- database
- knowledge discovery
- data points
- preprocessing
- spatiotemporal data
- databases
- complex data types