Login / Signup

Equivalence by Canonicalization for Synthesis-Backed Refactoring.

Justin LubinJeremy FergusonKevin YeJacob YimSarah E. Chasins
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • source code
  • program synthesis
  • computer vision
  • texture synthesis
  • neural network
  • knowledge base
  • high level
  • software systems
  • interactive dynamic influence diagrams