Information Hiding, Inheritance and Concurrency - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2005

Information Hiding, Inheritance and Concurrency


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.
Fichier principal
Vignette du fichier
RR-5631.pdf (660.49 Ko) Télécharger le fichier

Dates and versions

inria-00070376 , version 1 (19-05-2006)


  • 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⟩
232 View
88 Download


Gmail Mastodon Facebook X LinkedIn More