A cost semantics for self-adjusting computation.

Ruy Ley-Wild Umut A. Acar Matthew Fluet

Published in: POPL (2009)

Keyphrases

storage cost
semantic information
minimum cost
formal semantics
data sets
machine learning
logic programming
neural network
website
multi class
cost sensitive
efficient computation
default reasoning
expected cost
minimal cost
cost reduction