@article{ai-safety-ngc07,
author = {E.~Albert and G.~Puebla and M.~Hermenegildo},
title = {Abstraction-{C}arrying {C}ode: {A} {M}odel for {M}obile {C}ode {S}afety},
month = {March},
volume = 26,
number = 2,
pages = {171--204},
projects = {MOBIUS,MERIT,PROMESAS,POAIST},
butopics = {anal,debug},
buconfj = {ngc},
butype = {article},
journal = {New Generation Computing},
year = {2008}
}