Information Hiding in the Join Calculus
- Cite this paper as:
- Ma Q., Maranget L. (2007) Information Hiding in the Join Calculus. In: Okada M., Satoh I. (eds) Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. ASIAN 2006. Lecture Notes in Computer Science, vol 4435. Springer, Berlin, Heidelberg
We aim to provide information hiding support in concurrent object-oriented programming languages. We study this issue both at the object level and the class level, in the context of an object-oriented extension of Join — a process calculus in the tradition of the π-calculus.
In this extended abstract, we focus on the class level and design a new hiding operation on classes. The purpose of this operation is to prevent part of parent classes from being visible in client (inheriting) classes. We define its formal semantics in terms of α-converting hidden names to fresh names, and its typing in terms of eliminating hidden names from class types.
Unable to display preview. Download preview PDF.