Login / Signup

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

Davide AnconaGiovanni Lagorio
Published in: GANDALF (2010)
Keyphrases
  • object oriented languages
  • horn formulas
  • knowledge compilation
  • object oriented
  • object oriented databases
  • object oriented programming
  • high level
  • databases
  • programming language