Asynchronous and deterministic objects

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn 31, Issue , 2004, Pages 123-134

  Caromel, Denis ^a   Henrio, Ludovic ^a   Serpette, Bernard Paul ^a  

^a INRIA   (France)

Author keywords

Concurrency; Determinism; Distribution; Futures; Object calculus; Object oriented languages; Parallelism

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; PARALLEL PROCESSING SYSTEMS; PARAMETER ESTIMATION; SEMANTICS; SYNCHRONIZATION; WIDE AREA NETWORKS;

CONCURRENCY; DETERMINISM; DISTRIBUTION; FUTURES; OBJECT CALCULUS; OBJECT-ORIENTED LANGUAGES; PARALLELISM;

OBJECT ORIENTED PROGRAMMING;

EID: 2442530806     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/964001.964012     Document Type: Conference Paper

References (30)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag New York, Inc., 1996.
2. G. Agha, I. A. Mason, S. Smith, and C. Talcott. Towards a theory of actor computation (extended abstract). In W. R. Cleaveland, editor, CONCUR'92: Proc. of the Third International Conference on Concurrency Theory, pages 565-579. Springer, Berlin, Heidelberg, 1992.
3. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1): 1-72, 1997.
4. L. Cardelli. A language with distributed scope. In Conference Record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'95), pages 286-297, San Francisco, January 22-25, 1995. ACM Press.
5. D. Caromel. Toward a method of object-oriented concurrent programming. Communications of the ACM, 36(9):90-102, Sept. 1993.
6. D. Caromel, L. Henrio, and B. P. Serpette. Asynchronous sequential processes. Technical report, INRIA Sophia Antipolis, 2003. RR-4753.
7. D. Caromel, W. Klauser, and J. Vayssière. Towards seamless computing and metacomputing in Java. Concurrency: Practice and Experience, 10(11-13):1043-1061, 1998. Proactive available at http://www.inria.fr/oasis/ proactive.
8. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pages 338-349. ACM Press, 2003.
9. C. Foumet and G. Gonthier. The reflexive CHAM and the join-calculus. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96), pages 372-385, St. Petersburg, Florida, January 21-24, 1996. ACM Press.
10. C. Foumet, G. Gonthier, J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. 7th Int. Conf. on Concurrency Theory (CONCUR), volume 1119 of Lecture Notes in Computer Science, pages 406-421, Pisa, Italy, Aug. 1996. Springer-Verlag, Berlin.
11. Gordon, Hankin, and Lassen. Compilation and equivalence of imperative objects. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 17, 1997.
12. A. D. Gordon and P. D. Hankin. A concurrent object calculus: Reduction and typing. In Proceedings HLCL'98. Elsevier ENTCS, 1998.
13. R. H. Halstead, Jr. Multilisp: a language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems (TOPLAS), 7(4):501-538, 1985.
14. K. Hammond. Parallel Functional Programming: An Introduction (invited paper). In H. Hong, editor, First International Symposium on Parallel Symbolic Computation (PASCO'94), Linz, Austria, pages 181-193. World Scientific Publishing, 1994.
15. A. Jeffrey. A distributed object calculus. In ACM SIGPLAN Workshop Foundations of Object Oriented Languages, 2000.
16. C. B. Jones and S. Hodges. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In B. Freitag, C. B. Jones, C. Lengauer, and H.-J. Schek, editors, Object-Orientation with Parallelism and Persistence, chapter 1, pages 1-22. Kluwer Academic Publishers, 1996. ISBN 0-7923-9770-3.
17. G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing '74; Proceedings of the IFIP Congress, pages 471-475. North-Holland, New York, NY, 1974.
18. G. Kahn and D. MacQueen. Coroutines and Networks of Parallel Processes. In B. Gilchrist, editor, Information Processing 77: Proc. IFIP Congress, pages 993-998. North-Holland, 1977.
19. O. Kaser, S. Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, and R. C. Sekar. Fast parallel implementation of lazy languages - the EQUALS experience. In LISP and Functional Programming, pages 335-344, 1992.
20. N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the pi-calculus. In Proceedings of POPL '96, pages 358-371. ACM, Jan. 1996.
21. X. Liu and D. Walker. Confluence of processes and systems of objects. In P. D. Mosses, M. Nielsen, and M. I. Schwarzbach, editors, TAPSOFT '95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, volume 915 of LNCS, pages 217-231. Springer, 1995.
22. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part I/II. Journal of Information and Computation, 100:1-77, Sept. 1992.
23. U. Nestmann, H. Hüttel, J. Kleist, and M. Merro. Aliasing models for mobile objects. Information and Computation, 175(1):3-33, 2002.
24. O. Nierstrasz. Towards an object calculus. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Proceedings of the ECOOP'91 Workshop on Object-Based Concurrent Computing, volume 612 of LNCS, pages 1-20. Springer-Verlag, 1992.
25. B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In T. Ito and A. Yonezawa, editors, Proceedings Theory and Practice of Parallel Programming (TPPP 94), pages 187-215, Sendai, Japan, 1995. Springer LNCS 907.
26. Y. ri Choi, A. Garg, S. Rai, J. Misra, and H. Vin. Orchestrating computations on the world-wide web. In B. Monien and R. Feldmann, editors, Euro-Par, volume 2400 of Lecture Notes in Computer Science. Springer, 2002.
27. D. Sangiorgi. The typed π-calculus at work: A proof of Jones's parallelisation theorem on concurrent objects. Theory and Practice of Object-Oriented Systems, 5(1), 1999. An early version was included in the Informal proceedings of FOOL 4, January 1997.
28. B. C. Smith. Reflection and semantics in lisp. In Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, pages 23-35, Salt Lake City, Utah, January 15-18, 1984. ACM SIGACT-SIGPLAN, ACM Press.
29. G. L. Steele, Jr. Making asynchronous parallelism safe for the world. In ACM, editor, POPL '90. Proceedings of the seventeenth annual ACM symposium on Principles of programming languages, January 17-19, 1990, San Francisco, CA, pages 218-231, New York, NY, USA, 1990. ACM Press.
30. M. Steffen and U. Nestmann. Typing confluence. Interner Bericht IMMD7-XX/95, Informatik VII, Universität Erlangen-Nürnberg, 1995.