Login / Signup

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

Davide AnconaAndrea CorradiGiovanni LagorioFerruccio Damiani
Published in: FoVeOOS (2010)
Keyphrases
  • object oriented languages
  • object oriented
  • constraint programming
  • object oriented databases
  • constraint logic programming
  • bayesian networks
  • high level
  • database systems