Login / Signup

CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java.

Boris Bokowski
Published in: ESEC / SIGSOFT FSE (1999)
Keyphrases
  • constraint satisfaction
  • data sets
  • databases
  • object oriented
  • source code
  • machine learning
  • open source
  • database applications
  • geometric constraints
  • global constraints
  • object oriented languages