Verifiable functional purity in java.

Matthew Finifter Adrian Mettler Naveen Sastry David A. Wagner

Published in: CCS (2008)

Keyphrases

programming language
sufficient conditions
secret sharing
development environment
database applications
cross platform
data sets
functional properties
source code
open source
object oriented
web services
databases
database
machine learning
real world
functional analysis