Methodical specification of abstract data types via rewriting systems.

Paulo A. S. Veloso

Published in: Int. J. Parallel Program. (1982)

Keyphrases

abstract data types
rewriting systems
data types
object oriented databases
relational database systems
rewriting rules
programming language
user defined
data model
database
relational data model
high level
data structure
relational databases
distributed systems
database systems
databases