Login / Signup

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