Debugging via run-time type checking.

Published in: ACM SIGSOFT Softw. Eng. Notes (2000)

Keyphrases

type checking
data types
database query languages
query processor
relational calculus
abstract data types
databases
object model
data structure
object recognition
query processing
management system
general purpose
integrity constraints