Information Hiding in the Join Calculus

Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the context of an object-oriented extension of the Join calculus -- a process calculus in the tradition of culus. In this extended abstract we focus on the class level and design a new hiding operation on classes, aimed at preventing part of parent classes from being visible in client (inheriting) classes. We define the formal semantics of our new operation in terms of -converting hidden names to fresh names, and its typing in terms of eliminating hidden names from class types. We study the standard soundness property of the type system, as well as specific properties concerning hiding. Our motivation stems from language design, aiming at producing a practical programming language.

• Type: Conference
• Year: 2006
• Where: ASIAN
• Authors: Qin Ma 0002, Luc Maranget
• Keywords: Algorithms, ASIAN 2006, Class Level, Information Hiding Support, Programming Language