Abstraction-Carrying Code: A Model for Mobile Code Safety (2008)

by E Albert, G Puebla, M Hermenegildo
Venue:New Generation Computing