Login / Signup
Verifying and improving Halide's term rewriting system with program synthesis.
Julie L. Newcomb
Andrew Adams
Steven Johnson
Rastislav Bodík
Shoaib Kamil
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
program synthesis
term rewriting
theorem proving
theorem prover
operational semantics
inductive logic programming
knuth bendix
rewrite systems
recursive programs
software engineering
model checking
information retrieval
multi agent
probability distribution