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

Scalable Fine-Grained Proofs for Formula Processing.

Haniel BarbosaJasmin Christian BlanchettePascal Fontaine
Published in: CADE (2017)
Keyphrases
  • fine grained
  • coarse grained
  • access control
  • massively parallel
  • tightly coupled
  • data lineage