Reduced Certificates for Abstraction-Carrying Code.

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

Published in: ICLP (2006)

Keyphrases

source code
access control
high level
significantly reduced
databases
learning algorithm
website
relational databases
open source
data abstraction
fully functional
decision theoretic planning
high level abstractions