Protection in Programming-Language Translations Export

@incollection{citeulike:1805408, abstract = {We discuss ions for protection and the correctness of their implementations. Relying on the concept of full abstraction, we consider two examples: (1) the translation of Java classes to an inter- mediate bytecode language, and (2) in the setting of the pi calculus, the implementation of private channels in terms of cryptographic operations.}, author = {Abadi, Martin}, citeulike-article-id = {1805408}, citeulike-linkout-0 = {http://www.springerlink.com/content/nndbgrxp29bdyb1a}, journal = {Automata, Languages and Programming}, keywords = {fullabstraction, java}, pages = {868+}, posted-at = {2007-10-22 10:07:27}, priority = {2}, title = {Protection in Programming-Language Translations}, url = {http://www.springerlink.com/content/nndbgrxp29bdyb1a}, year = {1998} }

TY - CHAP ID - citeulike:1805408 L3 - citeulike-article-id:1805408 N2 - We discuss ions for protection and the correctness of their implementations. Relying on the concept of full abstraction, we consider two examples: (1) the translation of Java classes to an inter- mediate bytecode language, and (2) in the setting of the pi calculus, the implementation of private channels in terms of cryptographic operations. JF - Automata, Languages and Programming TI - Protection in Programming-Language Translations SP - 868 KW - fullabstraction KW - java AU - Abadi, Martin PY - 1998/// UR - http://www.springerlink.com/content/nndbgrxp29bdyb1a ER -