Sign in

A co-contextual formulation of type rules and its application to incremental type checking.

Sebastian ErdwegOliver BracevacEdlira KuciMatthias KrebsMira Mezini
Published in: OOPSLA (2015)
Keyphrases
  • type checking
  • database query languages
  • data types
  • query processor
  • relational calculus
  • object model
  • preprocessing
  • database systems
  • user defined
  • complex objects
  • abstract data types