Calculating risk in functional programming.

Daniel Murta José Nuno Oliveira

Published in: CoRR (2013)

Keyphrases

functional programming
functional language
execution model
quantifier elimination
programming language
object oriented programming
databases
artificial intelligence
mobile devices
fine grained
key features