Login / Signup

An Experiment to Assess the Benefits of Inter-Module Type Checking.

Lutz PrecheltWalter F. Tichy
Published in: IEEE METRICS (1996)
Keyphrases
  • type checking
  • data types
  • database query languages
  • query processor
  • relational calculus
  • viewpoint
  • expressive power
  • management system
  • object oriented