Login / Signup

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.

Son HoOskar AbrahamssonRamana KumarMagnus O. MyreenYong Kiam TanMichael Norrish
Published in: IJCAR (2018)
Keyphrases
  • theorem prover
  • high quality
  • state space
  • theorem proving
  • input output
  • natural deduction
  • bayesian networks
  • data sets
  • reinforcement learning
  • data transfer
  • formal methods
  • storage systems