Programmable Verifiers in Imperative Programming.

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