Session types for functional multithreading

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

Volumn 3170, Issue , 2004, Pages 497-511

  Vasconcelos, Vasco ^a   Ravara, António ^b   Gay, Simon ^c  

^a UNIVERSITY OF LISBON   (Portugal)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^c UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Concurrent programming; Session types; Specification of communication protocols; Static typechecking

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; SEMANTICS;

COMPLEX PROTOCOLS; CONCURRENT PROGRAMMING; FUNCTIONAL LANGUAGES; INPUT/OUTPUT OPERATIONS; SESSION TYPES; STATE TRANSITIONS; SUBJECT REDUCTION; TYPECHECKING;

CONCURRENCY CONTROL;

EID: 28844481697     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-28644-8_32     Document Type: Article

References (20)

1. S. Chaki, S. K. Rajamani, and J. Rehof. Types as models: model checking messagepassing programs. In POPL, pages 45-57. ACM Press, 2002.
2. R. DeLine and M. Fähndrich. Enforcing high-level protocols in low-level software. In PLDI, pages 59-69. ACM Press, 2001.
3. J. S. Foster, T. Terauchi, and A. Aiken. Flow-Sensitive Type Qualifiers. In PLDI, pages 1-12, Berlin, Germany, June 2002.
4. S. J. Gay, V. T. Vasconcelos, and A. Ravara. Session types for inter-process communication. TR 2003-133, Department of Computing Science, University of Glasgow, March 2003.
5. S. J. Gay and M. J. Hole. Types and subtypes for client-server interactions. In S. D. Swierstra, editor, ESOP'99, LNCS 1576, pages 74-90. Springer-Verlag, 1999.
6. A. Gordon and A. Jeffrey. Typing correspondence assertions for communication protocols. Theoretical Computer Science, 300:379-409, 2003.
7. D. Grossman. Type-safe multithreading in cyclone. In ACM Workshop on Types in Language Design and Implementation. ACM Press, 2003.
8. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Regionbased memory management in cyclone. In PLDI (pp. 282-293). ACM Press, 2002.
9. K. Honda. Types for dyadic interaction. In CONCUR'93, volume 715 of LNCS, pages 509-523. Springer-Verlag, 1993.
10. K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In C. Hankin, editor, ESOP'98, volume 1381 of LNCS, pages 122-138. Springer-Verlag, 1998.
11. A. Igarashi and N. Kobayashi. Resource usage analysis. In POPL, pages 331-342. ACM Press, 2002.
12. A. Igarashi and N. Kobayashi. A generic type system for the pi-calculus. Theoretical Computer Science, 311(1-3):121-163, 2003.
13. R. Mihier, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1) :l-77, September 1992.
14. B. Pierce. Types and Programming Languages. The MIT Press, 2002.
15. S. K. Rajamani and J. Rehof. A behavioral module system for the pi-calculus. In P. Cousot, editor, Static Analysis: 8th International Symposium, SAS 2001, volume 2126 of LNCS, pages 375-394. Springer-Verlag, 2001.
16. J. Reppy. CML: a higher order concurrent language. In PLDI, pages 293-305. ACM Press, 1991.
17. D. Sangiorgi and D. Walker. The -calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
18. K. Takeuchi, K. Honda, and M. Kubo. An interaction-based language and its typing system. In PARLE '94, LNCS 817. Springer-Verlag, 1994.
19. A. Vallecillo, V. T. Vasconcelos, and A. Ravara. Typing the behavior of objects and components using session types. In FOCLASA 2002, volume 68 of Electronic Notes in Theoretical Computer Science. Elsevier, August 2002.
20. D. Walker, K. Crary, and G. Morrisett. Typed memory management via static capabilities. TOPLAS, 22(4):701-771, 2000.