Type Checking Concurrent I/O.

W. Homer Carlisle

Published in: ACM Trans. Program. Lang. Syst. (1995)

Keyphrases

type checking
data types
query processor
database query languages
object model
relational calculus
file system
database management systems
user defined
main memory