Sign in

Example-directed synthesis: a type-theoretic interpretation.

Jonathan FranklePeter-Michael OseraDavid WalkerSteve Zdancewic
Published in: POPL (2016)
Keyphrases
  • neural network
  • high level
  • cooperative
  • image interpretation
  • metadata
  • natural language
  • image analysis
  • special case
  • semantic interpretation
  • program synthesis