Abstraction-Carrying Code (2005)

by E Albert, G Puebla, M Hermenegildo
Venue:In LPAR’04, LNAI 3452