Protection in Programming-Language Translations (1998)

by Martín Abadi, Martín Abadi
Venue:In Proceedings of the 25th International Colloquium on Automata, Languages and Programming