Program Inversion for Tail Recursive Functions.

Naoki Nishida Germán Vidal

Published in: RTA (2011)

Keyphrases

recursive functions
inductive inference
computer programs
image reconstruction
data sets
neural network
semantic information
heavy tailed