Amalgamating sessions and methods in object-oriented languages with generics

Theoretical Computer Science

Volumn 410, Issue 2-3, 2009, Pages 142-167

  Capecchi, Sara ^a   Coppo, Mario ^a   Dezani Ciancaglini, Mariangiola ^a   Drossopoulou, Sophia ^b   Giachino, Elena ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Foundations of object oriented programming; Progress; Session types; Subject reduction

Indexed keywords

BIOMINERALIZATION; FUNCTIONS; LINGUISTICS; METALS; QUERY LANGUAGES;

CLASS OBJECTS; CONCURRENT THREADS; GENERIC TYPES; OBJECT-ORIENTED; PROGRESS; SESSION TYPES; SUBJECT REDUCTION;

OBJECT ORIENTED PROGRAMMING;

EID: 58149333676     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.09.016     Document Type: Article

References (31)

1. Armstrong J., Virding R., Wikstrm C., and Williams M. Concurrent Programming in Erlang. 2nd edition (1996), Prentice Hall
2. Bonelli E., Compagnoni A., and Gunter E. Correspondence assertions for process synchronization in concurrent communications. Journal of Functional Programming 15 2 (2005) 219-248
3. Bracha G., Odersky M., Stoutamire D., and Wadler P. Making the future safe for the past: Adding genericity to the Java programming language. In: Chambers C. (Ed). OOPSLA'98 (1998), ACM Press 183-200
4. Carbone M., Honda K., and Yoshida N. A calculus of global interaction based on session types. In: Fernández M., and Kirchner C. (Eds). SecReT'06. ENTCS vol. 171(3) (2007), Elsevier 127-151
5. Carbone M., Honda K., and Yoshida N. Structured communication-centred programming for web services. In: De Nicola R. (Ed). ESOP'07. LNCS vol. 4421 (2007), Springer-Verlag 2-17
6. Coppo M., Dezani-Ciancaglini M., and Yoshida N. Asynchronous session types and progress for object-oriented languages. In: Bonsangue M., and Johnsen E.B. (Eds). FMOODS'07. LNCS vol. 4468 (2007), Springer-Verlag 1-31
7. Ferruccio Damiani, Elena Giachino, Paola Giannini, Nick Cameron, Sophia Drossopoulou, A state abstraction for coordination in Java-like programming, Acta Informatica (2008) (in press)
8. Dezani-Ciancaglini M., de' Liguoro U., and Yoshida N. On progress for structured communications. In: Barthe G., and Fournet C. (Eds). TGC'07. LNCS vol. 4912 (2008) 257-275
9. Dezani-Ciancaglini M., Drossopoulou S., Giachino E., and Yoshida N. Bounded session types for object-oriented languages. In: de Boer F., and Bonsangue M. (Eds). FMCO'06. LNCS vol. 4709 (2007), Springer-Verlag 207-245
10. Dezani-Ciancaglini M., Mostrous D., Yoshida N., and Drossopoulou S. Session types for object-oriented languages. In: Thomas D. (Ed). ECOOP'06. LNCS vol. 4067 (2006), Springer-Verlag 328-352
11. Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Mario Coppo, Amalgamating the session types and the object-oriented programming paradigms, in: MPOOL'07, 2007. http://homepages.fh-regensburg.de/~mpool/mpool07/programme.html
12. Fähndrich M., Aiken M., Hawblitzel C., Hodson O., Hunt G.C., Larus J.R., and Levi S. Language support for fast and reliable message-based communication in singularity OS. In: Zwaenepoel W. (Ed). EuroSys2006. ACM SIGOPS (2006), ACM Press 177-190
13. Garralda P., Compagnoni A., and Dezani-Ciancaglini M. BASS: Boxed ambients with safe sessions. In: Maher M. (Ed). PPDP'06 (2006), ACM Press 61-72
14. Gay S., and Hole M. Subtyping for session types in the pi-calculus. Acta Informatica 42 2/3 (2005) 191-225
15. Simon Gay, Vasco T. Vasconcelos, Linear type theory for asynchronous session types, http://homepages.di.fc.ul.pt/~vv/papers/gay.vasconcelos_linear-sessions.pdf
16. Simon Gay, Vasco T. Vasconcelos, António Ravara, Session types for inter-process communication. TR 2003-133, Department of Computing, University of Glasgow, 2003
17. Haller P., and Odersky M. Actors that unify threads and events. In: Murphy A.L., and Vitek J. (Eds). COORDINATION'07. LNCS vol. 4467 (2007), Springer-Verlag 171-190
18. Honda K. Types for dyadic interaction. In: Best E. (Ed). CONCUR'93. LNCS vol. 715 (1993), Springer-Verlag 509-523
19. Honda K., Vasconcelos V.T., and Kubo M. Language primitives and type disciplines for structured communication-based programming. In: Hankin C. (Ed). ESOP'98. LNCS vol. 1381 (1998), Springer-Verlag 22-138
20. Honda K., Yoshida N., and Carbone M. Web services, mobile processes and types. EATCS Bulletin 91 (2007) 160-188
21. 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
22. Mostrous D., and Yoshida N. Two sessions typing systems for higher-order mobile processes. In: Rocca S.R.D. (Ed). TLCA'07. LNCS vol. 4583 (2007), Springer-Verlag 321-335
23. Mostrous D., and Yoshida N. A Session Object Calculus for Structured Communication-Based Programming (2008). http://www.doc.ic.ac.uk/~mostrous/sesobj.pdf
24. Matthias Neubauer, Peter Thiemann, Session types for asynchronous communication, Universität Freiburg. http://www.informatik.uni-freiburg.de/~thiemann/papers/stac.ps.gz2004
25. Pierce B.C. Types and Programming Languages (2002), MIT Press
26. Sparkes S. Conversation with Steve Ross-Talbot. ACM Queue 4 2 (2006) 14-23
27. Takeuchi K., Honda K., and Kubo M. An interaction-based language and its typing system. In: Halatsis C., Maritsas D., Philokyprou G., and Theodoridis S. (Eds). PARLE'94. LNCS vol. 817 (1994), Springer-Verlag 398-413
28. Vallecillo A., Vasconcelos V.T., and Ravara A. Typing the behavior of objects and components using session types. In: Brogi A., and Jacquet J.-M. (Eds). FOCLASA'02. ENTCS vol. 68(3) (2002), Elsevier 439-456
29. Vasconcelos V.T., Gay S., and Ravara A. Typechecking a multithreaded functional language with session types. Theorical Computer Science 368 1-2 (2006) 64-87
30. Web services choreography working group. Web services choreography description language. http://www.w3.org/2002/ws/chor/
31. Wright A.K., and Felleisen M. A syntactic approach to type soundness. Information and Computation 1 115 (1994) 38-94