Decorated proofs for computational effects: States

Jean-Guillaume Dumas Dominique Duval Laurent Fousse Jean-Claude Reynaud

Published in: ACCAT (2012)

Keyphrases

theorem proving
mathematical programming
databases
real time
computational power
equational theories
negative effects
cutting plane
theorem prover
computational models
probabilistic model
data structure
decision trees
computer vision
search engine
learning algorithm
machine learning