Asynchronous session types and progress for object oriented languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4468 LNCS, Issue , 2007, Pages 1-31

  Coppo, Mario ^a   Dezani Ciancaglini, Mariangiola ^a   Yoshida, Nobuko ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMMUNICATION SYSTEMS; ELECTRONIC DATA INTERCHANGE; COMPUTATIONAL LINGUISTICS; ITERATIVE METHODS; OBJECT ORIENTED PROGRAMMING;

ASYNCHRONOUS COMMUNICATION; HETEROGENEOUS VALUES; COMMUNICATING PROCESS; EFFECT SYSTEM; HIGHER-ORDER; MULTITHREADED; RELEVANT FEATURES; SESSION TYPES;

OBJECT ORIENTED PROGRAMMING; FORMAL METHODS;

EID: 37149028570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72952-5_1     Document Type: Conference Paper

References (29)

1. Bierman, G., Parkinson, M., Pitts, A.: MJ: An Imperative Core Calculus for Java and Java with Effects. Technical Report 563, Univ. of Cambridge Computer Laboratory (2003)
2. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming 15(2), 219-248 (2005)
3. Carbone, M., Honda, K., Yoshida, N.: A Theoretical Basis of Communication-centered Concurrent Programming. Web Services Choreography Working Group mailing list, to appear as a WS-CDL working report
4. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: ESOP'07. LNCS, Springer, Heidelberg, To appear (2007)
5. Dezani-Ciancaglini, M., Drossopoulou, S., Giachino, E., Yoshida, N.: Bounded Session Types for Object-Oriented Languages, http://www.di.unito.it/ dezani/papers/ddgy.pdf (2007)
6. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session Types for Object-Oriented Languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328-352. Springer, Heidelberg (2006)
7. Dezani-Ciancaglini, M., Yoshida, N., Ahern, A., Drossopoulou, S.: A Distributed Object Oriented Language with Session Types. In: Nicola, R.D., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 299-318. Springer, Heidelberg (2005)
8. Drossopoulou, S.: Advanced Issues in Object Oriented Languages Course Notes. http://www.doc.ic.ac.uk/~scd/Teaching/Adv00.html
9. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G.C., Laras, J.R., Levi, S.: Language Support for Fast and Reliable Message-based Communication in Singularity OS. In: Zwaenepoel, W. (ed.) EuroSys2006, ACM SIGOPS, pp. 177-190. ACM Press, New York (2006)
10. Garralda, P., Compagnoni, A., Dezani-Ciancaglini, M.: BASS: Boxed Ambients with Safe Sessions. In: Maher, M. (ed.) PPDP'06, pp. 61-72. ACM Press, New York (2006)
11. Gay, S., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Informatica 42(2/3), 191-225 (2005)
12. Gay, S., Vasconcelos, V.T.: A New Approach to Functional Session Types, http://www.di.fc.ul.pt/w/papers/gay.vasconcelos:new-functional-sessions.pdf (2006)
13. Gay, S., Vasconcelos, V.T., Ravara, A.: Session Types for Inter-Process Communication. TR 2003-133, Department of Computing, University of Glasgow (2003)
14. Honda, K.: Types for Dyadic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509-523. Springer, Heidelberg (1993)
15. Honda, K.: Composing Processes. In: Steele, G.L. (ed.) POPL'96, pp. 344-357. ACM Press, New York (1996)
16. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol. 1381, pp. 22-138. Springer, Heidelberg (1998)
17. Honda, K., Yoshida, N., Carbone, M.: Web Services, Mobile Processes and Types. EATCS Bulletin, To appear (2007)
18. Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a Minimal Core Calculus for Java and GJ. ACM TOPLAS 23(3), 396-450 (2001)
19. S. Microsystems Inc. The Java Tutorial: All About Sockets, http://java.sun.com/docs/books/tutorial/networking/sockets/
20. S. Microsystems Inc. New IO APIs, http://java.sun.eom/j2se/1.4.2/docs/ guide/nio/index.html
21. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Information and Computation, vol. 100(1) (1992)
22. Neubauer, M., Thiemann, P.: Session Types for Asynchronous Communication. Universität Freiburg (2004)
23. Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge, MA (2002)
24. Sparkes, S.: Conversation with Steve Ross-Talbot. ACM Queue 4(2), 14-23 (2006)
25. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and its Typing System. In: Halatsis, C., Maritsas, D., Philokyprou, G., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
26. Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the Behavior of Objects and Components using Session Types. In: Brogi, A., Jacquet, J.-M. (eds.) FOCLASA'02, ENTCS, vol. 68(3), pp. 439-456. Elsevier, Amsterdam (2002)
27. Vasconcelos, V.T., Gay, S., Ravara, A.: Typechecking a Multithreaded Functional Language with Session Types. Theorical Computer Science 368(1-2), 64-87 (2006)
28. Web Services Choreography Working Group. Web Services Choreography Description Language, http://www.w3.org/2002/ws/chor/
29. Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In: SecRet'06, ENTCS, Elsevier, Amsterdam, To appear (2007)