Login / Signup
Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules.
Steve Kommrusch
Martin Monperrus
Louis-Noël Pouchet
Published in:
CoRR (2021)
Keyphrases
</>
rewrite rules
database
viewpoint
transformation rules