Parameterized Data Types in Algebraic Specification Languages (Short Version).
Hartmut EhrigHans-Jörg KreowskiJames W. ThatcherEric G. WagnerJesse B. WrightPublished in: ICALP (1980)
Keyphrases
- data types
- specification languages
- formal specification
- data model
- data structure
- object oriented programs
- database systems
- database management systems
- user defined
- back end
- first order logic
- data mining algorithms
- data formats
- abstract data types
- database objects
- data manipulation language
- model checking
- data sets
- query language
- data mining