Distilling abstract machines.

Beniamino Accattoli Pablo Barenbaum Damiano Mazza

Published in: ICFP (2014)

Keyphrases

high level
cooperative
state machines
similarity measure
database
data sets
information retrieval
image segmentation
objective function
support vector
search algorithm
natural language
low level
higher level
parallel machines