RADA: a tool for reasoning about algebraic data types with abstractions.
Tuan-Hung PhamMichael W. WhalenPublished in: ESEC/SIGSOFT FSE (2013)
Keyphrases
- data types
- data manipulation language
- abstract data types
- data model
- data structure
- database management systems
- user defined
- database systems
- back end
- data mining algorithms
- spatial reasoning
- microsoft sql server
- user friendly
- database server
- database objects
- data analysis
- high level
- feature selection
- database applications
- data warehouse
- management system