Sign in
Programmable Verifiers in Imperative Programming.
Yifeng Chen
Published in:
UTP (2010)
Keyphrases
</>
programming language
programming environment
general purpose
low cost
object oriented programming
development environment
computer programming
database systems
high level language
database
fully functional
expert systems
multiscale
clustering algorithm
learning algorithm
data sets
real time