Functional Programming and Security

Yusuf Moosa Motara

Published in: CoRR (2012)

Keyphrases

functional programming
functional language
quantifier elimination
programming language
object oriented programming
execution model
access control
general purpose