• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A proof system for adaptable class hierarchies.

Johan DovlandEinar Broch JohnsenOlaf OweIngrid 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