A sound (and complete) model of contracts.

Matthias Blume David A. McAllester

Published in: ICFP (2004)

Keyphrases

computational model
experimental data
formal model
data sets
d objects
statistical model
network model
hybrid model
real time
high level
objective function
cost function
process model
mathematical model
simulation model