A similarity criterion for sequential programs using truth-preserving partial functions.

Abhinav Aggarwal

Published in: CoRR (2017)

Keyphrases

distance measure
similarity measure
functional programs
similarity function
feature selection
distance function
similarity measurement
similarity metrics
feature vectors
color images
nearest neighbor
user defined
edit distance
computer programs
criterion function
functional language