Protection in programming-language translations (0)

by Martin Abadi
Venue:In Vitek and Jensen [32