Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams.

Solomon Feferman

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

abstract data types
data types
data abstraction
object oriented databases
programming language
relational database systems
data streams
spatial aggregation
databases
database
data structure
artificial intelligence
data model
spatial data
spatio temporal data