Login / Signup

Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language.

Andres NötzliHaniel BarbosaAina NiemetzMathias PreinerAndrew ReynoldsClark W. BarrettCesare Tinelli
Published in: FMCAD (2022)
Keyphrases
  • fine grained
  • coarse grained
  • access control
  • tightly coupled
  • xml queries
  • data lineage
  • graphical models
  • massively parallel