Login / Signup
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings.
Thomas Koehler
Phil Trinder
Michel Steuwer
Published in:
CoRR (2021)
Keyphrases
</>
database query languages
high level
case study
higher level
complex systems
language independent
color image enhancement
databases
real world
complex data
cross lingual
complex environments
fixpoint