Verifying Abstract Data Types with SNOBOL4.

Arthur C. Fleck

Published in: Softw. Pract. Exp. (1982)

Keyphrases

abstract data types
data types
object oriented databases
data abstraction
programming language
relational database systems
data model
spatial aggregation
model checking
relational databases
databases
algebraic operations
database
database systems
distributed systems
management system
xml documents
data structure