Login / Signup
Ironclad C++: a library-augmented type-safe subset of c++.
Christian DeLozier
Richard A. Eisenberg
Santosh Nagarakatte
Peter-Michael Osera
Milo M. K. Martin
Steve Zdancewic
Published in:
OOPSLA (2013)
Keyphrases
</>
data mining
real time
metadata
artificial neural networks
multiresolution
multiple types
initial set