Information Hiding in the Join Calculus

  • Qin Ma
  • Luc Maranget
Conference paper

DOI: 10.1007/978-3-540-77505-8_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4435)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Qin Ma
    • 1
  • Luc Maranget
    • 2
  1. 1.OFFISOldenburgGermany
  2. 2.INRIA-Rocquencourt, BP 105, 78153 Le Chesnay CedexFrance

Personalised recommendations