Protection in programming-language translations: Mobile object systems
M Abadi - European Conference on Object-Oriented …, 1998 - Springer
European Conference on Object-Oriented Programming, 1998•Springer
We discuss abstractions for protection and the correctness of their implementations. Relying
on the concept of full abstraction, we consider several examples relevant to mobile object
systems. The main example is the translation of Java classes to an intermediate bytecode
language. Other examples are the implementation of procedures by closures and the
implementation of private communication channels in terms of cryptographic operations.
on the concept of full abstraction, we consider several examples relevant to mobile object
systems. The main example is the translation of Java classes to an intermediate bytecode
language. Other examples are the implementation of procedures by closures and the
implementation of private communication channels in terms of cryptographic operations.
Abstract
We discuss abstractions for protection and the correctness of their implementations. Relying on the concept of full abstraction, we consider several examples relevant to mobile object systems. The main example is the translation of Java classes to an intermediate bytecode language. Other examples are the implementation of procedures by closures and the implementation of private communication channels in terms of cryptographic operations.
Springer