Login / Signup

Locating Type Errors in Untyped CLP Programs.

Wlodzimierz DrabentJan MaluszynskiPawel Pietrzak
Published in: Analysis and Visualization Tools for Constraint Programming (2000)
Keyphrases
  • constraint logic programming
  • databases
  • computer programs
  • database
  • feature selection
  • e learning
  • three dimensional
  • high level
  • error analysis
  • fixpoint
  • provably correct