A flat reachability-based measure for CakeML's cost semantics.

Alejandro Gómez-Londoño Magnus O. Myreen

Published in: IFL (2021)

Keyphrases

machine learning
similarity measure
minimum cost
state space
distance measure
query processing
correlation coefficient
cost sensitive
total cost
expected cost
cost reduction