From Push/Enter to Eval/Apply by Program Transformation.

Maciej Piróg Jeremy Gibbons

Published in: WoC (2015)

Keyphrases

test cases
information retrieval
computer programs
static analysis
linear transformation
neural network
search engine
multimedia
case study
input image