Type Checking BSI/VDM-SL.

Nico Plat Ronald Huijsman Jan van Katwijk Gertjan van Oosten Kees Pronk Hans Toetenel

Published in: VDM Europe (1990)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
object model
relational calculus
object oriented
expressive power
database
data mining
high level
data streams
viewpoint
user defined