An Approach for Data Type Specification and Its Use in Program Verification.

Tarcisio H. C. Pequeno Carlos José Pereira de Lucena

Published in: Inf. Process. Lett. (1979)

Keyphrases

data types
user defined
data model
database management systems
data structure
database systems
abstract data types
high level
database
data mining algorithms
formal specification
databases
database objects
database server
functional dependencies
object relational
type checking