Certificate size reduction in Abstraction-Carrying Code

Elvira Albert Puri Arenas Germán Puebla Manuel V. Hermenegildo

Published in: CoRR (2010)

Keyphrases

high level
source code
neural network
scales linearly
database
real time
machine learning
artificial intelligence
knowledge base
programming language
operating system
window size