A proof system for adaptable class hierarchies.

Johan Dovland Einar Broch Johnsen Olaf Owe Ingrid Chieh Yu

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

class hierarchies
object oriented
complex objects
multiple inheritance
class hierarchy
modal logic
software engineering
relational databases
ontology alignment