A Family of Unification-Oblivious Program Transformations and Their Applications.

Published in: PADL (2021)

Keyphrases

special case
higher order
machine learning
multiresolution
computer programs
static analysis
control program
artificial intelligence
high level
similarity measure
expert systems
logic programs
test cases
program execution