TY  - RPRT
TI  - Certificate size reduction in Abstraction-Carrying Code
AU  - Elvira Albert
AU  - Puri Arenas
AU  - Germán Puebla
AU  - Manuel Hermenegildo
PY  - 2010
UR  - https://arxiv.org/abs/1010.4533
ID  - 1010.4533
ER  -