Unification of program expressions with recursive bindings.

Manfred Schmidt-Schauß David Sabel

Published in: PPDP (2016)

Keyphrases

datalog programs
facial expressions
recursive programs
higher order
data sets
data mining
search engine
inductive inference
program synthesis
real time
query language
programming language
static analysis
recursive queries
java programs
recursive functions