Login / Signup

Program Synthesis and Linear Operator Semantics.

Herbert Wiklicky
Published in: SYNT (2014)
Keyphrases
  • program synthesis
  • formal semantics
  • logic programming
  • inductive logic programming
  • learning algorithm
  • high level
  • update semantics