Objects and session types

Information and Computation

Volumn 207, Issue 5, 2009, Pages 595-641

  Dezani Ciancaglini, Mariangiola ^a   Drossopoulou, Sophia ^b   Mostrous, Dimitris ^b   Yoshida, Nobuko ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); INFORMATION THEORY; LINGUISTICS; QUERY LANGUAGES;

FUNCTIONAL LANGUAGES; HIGHER ORDERS; LOCAL COMPUTATIONS; MULTI-THREADED; OBJECT-ORIENTED LANGUAGES; OPERATIONAL SEMANTICS; SESSION TYPES; SUBJECT REDUCTIONS; TYPE INFERENCES; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 63449126183     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2008.03.028     Document Type: Article

References (54)

1. Personal Communication by E-mails between the authors of [6,28,34,51].
2. Lucia Acciai, Michele Boreale, A type system for client progress in a service-oriented calculus, in: Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.), Concurrency Graphs and Models, LNCS, vol. 5065, Springer-Verlag, 2008, pp. 642-658.
3. Alexander Ahern, Nobuko Yoshida, Formalising Java RMI with explicit code mobility, in: Ralph Johnson, Richard P. Gabriel (Eds.), OOPSLA'05, ACM Press, 2005, pp. 403-422.
4. Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri, Session and union types for object oriented programming, in: Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.), Concurrency Graphs and Models, LNCS, vol. 5065, Springer-Verlag, 2008, pp. 659-680.
5. Gavin Bierman, Matthew Parkinson, Andrew Pitts, MJ: An Imperative Core Calculus for Java and Java with Effects, Technical Report 563, University of Cambridge, Computer Laboratory, 2003.
6. Bonelli E., Compagnoni A., and Gunter E. Correspondence assertions for process synchronization in concurrent communications. Journal of Functional Programming 15 2 (2005) 219-248
7. Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter, Typechecking safe process synchronization, in: Julian Rathke (Ed.), FGUC'04, ENTCS, vol. 138, Elsevier, 2005, pp. 3-22.
8. Mario Bravetti, Gianluigi Zavattaro, A theory for strong service compliance, in: Amy L. Murphy, Jan Vitek (Eds.), Coordination'07, LNCS, vol. 4467, Springer-Verlag, 2007, pp. 96-112.
9. Luís Caires, Spatial-behavioral types, distributed services, and resources, in: Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.), TGC'06, LNCS, vol. 4661, Springer-Verlag, 2006, pp. 98-115.
10. Capecchi S., Coppo M., Dezani-Ciancaglini M., Drossopoulou S., and Giachino E. Amalgamating sessions and methods in object oriented languages with generics. Theoretical Computer Science 410 2/3 (2009) 142-167
11. Marco Carbone, Kohei Honda, Nobuko Yoshida, A Calculus of global interaction based on session types, in: Jean-Pierre Jouannaud, Ian Mackie (Eds.), DMC'06, ENTCS, vol. 171, Elsevier, 2007, pp. 127-151.
12. Marco Carbone, Kohei Honda, Nobuko Yoshida, Structured communication-centred programming for web services, in: Rocco De Nicola (Ed.), ESOP'07, LNCS, vol. 4421, Springer-Verlag, 2007, pp. 2-17.
13. Marco Carbone, Kohei Honda, Nobuko Yoshida, Theoretical aspects of communication-centred programming, in: Catuscia Palamidessi, Frank D. Valencia (Eds.), LIX'06, ETNCS, vol. 209, Elsevier, 2008, pp. 125-133.
14. Giuseppe Castagna, Neil Gesbert, Luca Padovani, A theory of contracts for web services, in: Philip Wadler (Ed.), POPL'08, ACM Press, 2008, pp. 261-272.
15. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Asynchronous session types and progress for object-oriented languages, in: Marcello Bonsangue, Einar Broch Johnsen (Eds.), FMOODS'07, LNCS, vol. 4468, Springer-Verlag, 2007, pp. 1-31.
16. Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer, Secure implementations for typed session abstractions, in: Riccardo Focardi (Ed.), CSF'07, IEEE Computer Society, 2007, pp. 170-186.
17. Robert DeLine, Manuel Fähndrich, Enforcing high-level protocols in low-level software, in: Michael Burke, Mary Lou Soffa (Eds.), PLDI'01, SIGPLAN Notices, vol. 36, No. 5, ACM Press, 2001, pp. 59-69.
18. Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro, Nobuko Yoshida, On progress for structured communications, in: Gilles Barthe, Cédric Fournet (Eds.), TGC'07, LNCS, vol. 4912, 2008, pp. 257-275.
19. Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino, Nobuko Yoshida, Bounded session types for object-oriented languages, in: Frank de Boer, Marcello Bonsangue (Eds.), FMCO'06, LNCS, vol. 4709, Springer-Verlag, 2007, pp. 207-245.
20. Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou, Session types for object-oriented languages, in: Dave Thomas (Ed.), ECOOP'06, LNCS, vol. 4067, Springer-Verlag, 2006, pp. 328-352.
21. Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alex Ahern, Sophia Drossopoulou, A distributed object oriented language with session types, in: Rocco De Nicola, Davide Sangiorgi (Eds.), TGC'05, LNCS, vol. 3705, Springer-Verlag, 2005, pp. 299-318.
22. Sophia Drossopoulou, Advanced issues in object oriented languages course notes. Available from: .
23. Sophia Drossopoulou, Mario Coppo, Mariangiola Dezani-Ciancaglini, Amalgamating the session types and the object oriented programming paradigms, in: MPOOL'07, 2007. Available from: .
24. Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi, Language support for fast and reliable message-based communication in singularity OS, in: Willy Zwaenepoel (Ed.), EuroSys2006, ACM SIGOPS, ACM Press, 2006, pp. 177-190.
25. Manuel Fähndrich, Robert DeLine, Adoption and focus: practical linear types for imperative programming, in: Laurie J. Hendren (Ed.), PLDI'02, SIGPLAN Notices, vol. 37, No. 5, ACM Press, 2002, pp. 13-24.
26. Pablo Garralda, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, BASS: boxed ambients with safe sessions, in: Michael Maher (Ed.), PPDP'06, ACM Press, 2006, pp. 61-72.
27. Gay S. Bounded polymorphism in session types. Mathematical Structures in Computer Science 18 5 (2008) 895-930
28. Gay S., and Hole M. Subtyping for session types in the pi-calculus. Acta Informatica 42 2/3 (2005) 191-225
29. Simon Gay, Vasco T. Vasconcelos, António Ravara, Session Types for Inter-Process Communication, TR 2003-133, Department of Computing, University of Glasgow, 2003.
30. Andrew D. Gordon, Alan Jeffrey, Typing correspondence assertions for communication protocols, in: Stephen Brooks, Michael Mislove (Eds.), MFPS'01, ENTCS, vol. 45, Elsevier, 2001, pp. 379-409.
31. Roger Hindley J. The principal type scheme of an object in combinatory logic. Transactions of the American Mathematical Society 146 (1969) 29-60
32. Kohei Honda, Types for dyadic interaction, in: Eike Best (Ed.), CONCUR'93, LNCS, vol. 715, Springer-Verlag, 1993, pp. 509-523.
33. Kohei Honda, Composing processes, in: Guy L. Steele (Ed.), POPL'96, ACM Press, 1996, pp. 344-357.
34. Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo, Language primitives and type disciplines for structured communication-based programming, in: Chris Hankin (Ed.), ESOP'98, LNCS, vol. 1381, Springer-Verlag, 1998, pp. 22-138.
35. Honda K., Yoshida N., and Carbone M. Web services, mobile processes and types. The Bulletin of the European Association for Theoretical Computer Science 91 (2007) 165-185
36. Raymond Hu, Nobuko Yoshida, Kohei Honda, Session-based distributed programming in Java, in: Jan Vitek (Ed.), ECOOP'08, LNCS, vol. 5142, Springer-Verlag, 2008, pp. 516-541.
37. Igarashi A., Pierce B.C., and Wadler P. Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS 23 3 (2001) 396-450
38. Naoki Kobayashi, A new type system for deadlock-free processes, in: Christel Baier, Holger Hermanns (Eds.), CONCUR'06, LNCS, vol. 4137, Springer-Verlag, 2006, pp. 233-247.
39. Kobayashi N., Pierce B.C., and Turner D.N. Linearity and the pi-calculus. ACM TOPLAS 21 5 (1999) 914-947
40. Cosimo Laneve, Luca Padovani, The pairing of contracts and session types, in: Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.), Concurrency, Graphs and Models, LNCS, vol. 5065, Springer-Verlag, 2008, pp. 681-670.
41. Milner R., Parrow J., and Walker D. A calculus of mobile processes, parts I and II. Information and Computation 100 1 (1992)
42. Dimitris Mostrous, Moose: A Minimal Object Oriented Language with Session Types, Master's thesis, Imperial College, London, 2005.
43. Dimitris Mostrous, Nobuko Yoshida, Two session typing systems for higher-order mobile processes, in: Simona Ronchi Della Rocca (Ed.), TLCA'07, LNCS, vol. 4583, Springer-Verlag, 2007, pp. 321-335.
44. Matthias Neubauer, Peter Thiemann, An implementation of session types, in: Bharat Jayaraman (Ed.), PADL'04, LNCS, vol. 3057, Springer-Verlag, 2004, pp. 56-70.
45. Nathaniel Nystrom, Stephen Chong, Andrew C. Myers, Scalable extensibility via nested inheritance, in: Doug Schmidt (Ed.), OOPSLA'04, ACM Press, 2004, pp. 99-115.
46. Pierce B.C. Types and Programming Languages (2002), MIT Press
47. Sparkes S. Conversation with Steve Ross-Talbot. ACM Queue 4 2 (2006) 14-23
48. Kaku Takeuchi, Kohei Honda, Makoto Kubo, An interaction-based language and its typing system, in: C. Halatsis, D. Maritsas, G. Philokyprou, S. Theodoridis (Eds.), PARLE'94, LNCS, vol. 817, Springer-Verlag, 1994, pp. 398-413.
49. Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara, Typing the behavior of objects and components using session types, in: Antonio Brogi, Jean-Marie Jacquet (Eds.), FOCLASA'02, ENTCS, vol. 68, No. 3, Elsevier, 2002, pp. 439-456.
50. Vasco Vasconcelos, Typed concurrent objects, in: Mario Tokoro, Remo Pareschi (Eds.), ECOOP'94, LNCS, vol. 821, Springer-Verlag, 1994, pp. 100-117.
51. Vasconcelos V.T., Gay S., and Ravara A. Typechecking a multithreaded functional language with session types. Theoretical Computer Science 368 (2006) 64-87
52. Web Services Choreography Working Group, Web Services Choreography Description Language. Available from: .
53. Nobuko Yoshida, Graph types for monadic mobile processes, in: Vijay Chandru, V. Vinay (Eds.), FSTTCS'96, LNCS, No. 1180, Springer-Verlag, 1996, pp. 371-386.
54. Nobuko Yoshida, Vasco T. Vasconcelos, Language primitives and type disciplines for structured communication-based programming revisited, in: Maribel Fernández, Claude Kirchner (Eds.), SecReT'06, ENTCS, vol. 171, Elsevier, 2007, pp. 73-93.