Login / Signup
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
Davide Ancona
Giovanni 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