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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bruce, K., Cardelli, L., Castagna, G., Leavens, G.T., Pierce, B.: On binary methods. Theory and Practice of Object Systems 1(3), 221–242 (1995)
Fisher, K., Reppy, J.: The design of a class mechanism for MOBY. In: Proceedings of PLDI 1999, pp.37–49 (1999)
Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proceedings of POPL 1996, pp. 372–385 (1996)
Fournet, C., Maranget, L., Laneve, C., Rémy, D.: Implicit typing à la ML for the join-calculus. In: Proceedings of CONCUR 1997, pp. 196–212 (1997)
Fournet, C., Maranget, L., Laneve, C., Rémy, D.: Inheritance in the join calculus. Journal of Logic and Algebraic Programming 57(1-2), 23–69 (2003)
Gordon, A.D., Hankin, P.D.: A concurrent object calculus: reduction and typing. In: Proceedings of HLCL 1998, pp. 248–264 (1998)
Ma, Q., Maranget, L.: Expressive synchronization types for inheritance in the join calculus. In: Proceedings of APLAS 2003, pp. 20–36 (2003)
Ma, Q., Maranget, L.: Information hiding, inheritance and concurrency. Inria Rocquencourt Research Report RR-5631 (2005)
Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in object-oriented concurrent programming languages. In: Research Directions in Concurrent Object-Oriented Programming, pp. 107–150. MIT Press, Cambridge (1993)
Milicia, G., Sassone, V.: The inheritance anomaly: ten years after. In: Proceedings of SAC 1996, pp. 1267–1274 (2004)
Odersky, M.: Functional nets. In: Proceedings of ESOP 2000, pp. 1–25 (2000)
Riecke, J.G., Stone, C.A.: Privacy via subsumption. Information and Computation 172(1), 2–28 (2002)
Vouillon, J.: Combining subsumption and binary methods: an object calculus with views. In: Proceedings of POPL 2001, pp. 290–303 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-540-77505-8_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-77505-8_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77504-1
Online ISBN: 978-3-540-77505-8
eBook Packages: Computer ScienceComputer Science (R0)