On the Termination Problem for Probabilistic Higher-Order Recursive Programs.

Naoki Kobayashi Ugo Dal Lago Charles Grellois

Published in: CoRR (2018)

Keyphrases

higher order
recursive programs
program synthesis
logic programs
probabilistic model
pairwise
transformation rules
data driven
data structure
multi dimensional
process model