User-Defined Data Types as an Aid to Verifying LISP Programs.
Robert CartwrightPublished in: ICALP (1976)
Keyphrases
- user defined
- data types
- data model
- computer programs
- application programs
- data structure
- database systems
- database management systems
- abstract data types
- programming language
- database server
- data mining algorithms
- primitive operations
- database objects
- query processor
- data formats
- microsoft sql server
- feature extraction
- data manipulation language
- general purpose
- machine learning
- databases