Separation Logic for Multiple Inheritance.

Chenguang Luo Shengchao Qin

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

multiple inheritance
complex objects
object oriented
modal logic
inheritance reasoning
logic programming
deductive databases
database
object oriented databases
object oriented programming
databases
database systems
multi class
general purpose
logic programs