Login / Signup
Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
Oskar Abrahamsson
Son Ho
Hrutvik Kanabar
Ramana Kumar
Magnus O. Myreen
Michael Norrish
Yong Kiam Tan
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
regular expressions
query containment
theorem prover
natural deduction
theorem proving
higher order logic
datalog queries
high quality
basis functions
formal methods
program synthesis
real time
data sets
machine learning
image sequences
inference rules