Skip to Main content Skip to Navigation

Information Hiding, Inheritance and Concurrency

Abstract : We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue of information hiding 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 the Pi-calculus. At the object level, we improve a privacy mechanism proposed in prior work by defining a simpler chemical semantics for privacy control. At the class level, we propose a hiding mechanism by designing a new operation on classes. We define its formal semantics in terms of alpha-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. Some, if not most, of our choices in designing our system are motivated by implementation. As an evidence of practical significance, we implement our model in a prototyping system. From that experience we draw guidelines for a full-scale implementation.
Document type :
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:18:52 PM
Last modification on : Friday, February 4, 2022 - 3:08:40 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:04:32 PM


  • HAL Id : inria-00070376, version 1



Qin Ma, Luc Maranget. Information Hiding, Inheritance and Concurrency. [Research Report] RR-5631, INRIA. 2005, pp.74. ⟨inria-00070376⟩



Record views


Files downloads