Certification of programs with computational effects.

Published in: CoRR (2014)

Keyphrases

website
third party
database
data mining
search algorithm
object oriented
mathematical programming
computational power
fixpoint
cutting plane