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

RPP: Automatic Proof of Relational Properties by Self-composition.

Lionel BlatterNikolai KosmatovPascale Le GallVirgile Prevosto
Published in: TACAS (1) (2017)
Keyphrases
  • relational databases
  • imperative programs
  • semi automatic
  • relational data
  • desirable properties
  • artificial intelligence
  • data model
  • relational learning
  • multi relational
  • linear logic