Abstract
We propose an interpretation of a typed concurrent calculus of objects based on the imperative object calculus of Abadi and Cardelli. The target of our interpretation is a version of the blue calculus, a variant of the π-calculus that directly contains functions, with record and first-order types.We show that reductions and type judgments are derivable in a rather simple and natural way, and that our encoding can be extended to recursive and self-types, as well as to synchronization primitives. We also use our encoding to prove some equational laws on objects.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
M. Abadi, L. Cardelli, and R. Viswanathan. An interpretation of objects and object types. In Proc. of POPL’ 96, pages 396–409, 1996.
R. Amadio and S. Prasad. Localities and failures. In Proc. of FST & TCS’ 94, volume 880 of SLNCS, pages 205–216, 1994.
G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
G. Boudol. The π-calculus in direct style. Higher-Order and Symbolic Computation, 11:177–208, 1998. Also appeared in Proc. of POPL’ 97, Jan. 1997.
L. Cardelli and J. C. Mitchell. Operations on records. Math. Structures in Computer Science, 1(1):3–48, 1991.
S. Dal-Zilio. A bisimulation for the Blue calculus. TR 3664, INRIA, Apr. 1999.
S. Dal-Zilio. An interpretation of typed concurrent objects in the Blue calculus. Extended version, available at http://research.microsoft.com/~sdal/, 1999.
P. Di Blasio and K. Fisher. A calculus for concurrent objects. In Proc. of CONCUR’ 96, volume 1119 of LNCS, Aug. 1996.
W. Ferreira, M. Hennessy, and A. Jeffrey. Combining typed λ-calculus with CCS. In Essays in Honour of Robin Milner. MIT Press, 1998.
K. Fisher and J. C. Mitchell. A delegation-based object calculus with subtyping. In Proc. of FCT’ 95, volume 965 of LNCS, pages 43–61, 1995.
C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proc. of POPL’ 96, pages 372–385, Jan. 1996.
A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In Proc. of HLCL’ 98, Elsevier ENTCS, 1998.
A. D. Gordon, P. D. Hankin, and S. B. Lassen. Compilation and equivalence of imperative objects. In Proc. of FST & TCS’ 97, volume 1346 of LNCS, Dec. 1997.
R. Harper and M. Lillibridge. Polymorphic type assignment and CPS conversion. LISP and Symbolic Computation, 6:361–380, 1993.
K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. of ECOOP’ 91, volume 512 of LNCS, pages 133–147, 1991.
H. Hüttel and J. Kleist. Objects as mobile processes. TR RS-96-38, BRICS, Oct. 1996.
J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In Proc. of PROCOMET’ 98. North-Holland, 1998.
M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. In Proc. of ICALP’ 98, volume 1443 of LNCS, 1998.
R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. of ICALP’ 92, volume 623 of LNCS, pages 685–695, 1992.
U. Nestmann, H. Hüttel, J. Kleist, M. Merro. Aliasing Models for Object Migration. In Proc. of Euro-Par’ 99, volume 1685 of LNCS, pages 1353–1368, 1999.
B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Proc. of TPPP’ 94, volume 907 of LNCS, pages 187–215, 1995.
D. Sangiorgi. An interpretation of typed objects into typed π-calculus. TR 3000, INRIA, 1996.
V. T. Vasconcelos. Typed concurrent objects. In Proc. of ECOOP’ 94, volume 821 of LNCS, pages 100–117, 1994.
R. Viswanathan. Full abstraction for first-order objects with recursive types and subtyping. In Proc. of LICS’ 98, pages 380–391, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dal Zilio, S. (2000). An Interpretation of Typed Concurrent Objects in the Blue Calculus. In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T. (eds) Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. TCS 2000. Lecture Notes in Computer Science, vol 1872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44929-9_29
Download citation
DOI: https://doi.org/10.1007/3-540-44929-9_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67823-6
Online ISBN: 978-3-540-44929-4
eBook Packages: Springer Book Archive