Certificate size reduction in abstraction-carrying code.

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

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

source code
high level
scales linearly
databases
genetic algorithm
small size
reduction method