The Session Abstract Machine

被引:1
|
作者
Caires, Luis [1 ]
Toninho, Bernardo [2 ]
机构
[1] Tecnico Lisboa, INESC ID, Lisbon, Portugal
[2] NOVA FCT, NOVA LINCS, Lisbon, Portugal
关键词
Abstract machine; Session Types; Linear Logic; PI-CALCULUS; PROPOSITIONS; LANGUAGE;
D O I
10.1007/978-3-031-57262-3_9
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We build on a fine-grained analysis of session-based interaction as provided by the linear logic typing disciplines to introduce the SAM, an abstract machine for mechanically executing session-typed processes. A remarkable feature of the SAM's design is its ability to naturally segregate and coordinate sequential with concurrent session behaviours. In particular, implicitly sequential parts of session programs may be efficiently executed by deterministic sequential application of SAM transitions, amenable to compilation, and without concurrent synchronisation mechanisms. We provide an intuitive discussion of the SAM structure and its underlying design, and state and prove its correctness for executing programs in a session calculus corresponding to full classical linear logic CLL. We also discuss extensions and applications of the SAM to the execution of linear and session-based programming languages.
引用
收藏
页码:206 / 235
页数:30
相关论文
共 50 条
  • [1] Abstract of Prenary Session
    Yukio Nakamura
    Isamu Ishiwata
    Shigeo Saito
    Kazunari Yokoyama
    [J]. Human Cell, 2005, 18 (2) : 17 - 21
  • [2] Best Abstract Session
    不详
    [J]. Genes & Immunity, 2005, 6 (Suppl 1): : S1 - S2
  • [3] Young investigator award session oral abstract session
    T. Takahiro Tsukamoto
    K. Morita
    M. Naya
    C. Katoh
    Y. Kuge
    H. Okamoto
    H. Tsutsui
    N. Tamaki
    M. Mehdi Namdar
    P. T. Siegrist
    P. Koepfli
    P. Tschuetscher
    T. F. Hany
    C. A. Wyss
    P. A. Kaufmann
    R. Riikka Lautamäki
    K. E. J. Airaksinen
    M. Seppänen
    J. Toikka
    M. Luotolahti
    E. Ball
    R. Härkönen
    J. Knuuti
    M. Stewart
    P. Nuutila
    H. Hamid Ghanbari
    B. Hassunizadeh
    F. Williams
    D. Cunningham
    S. Agrawal
    C. Machado
    S. Saba
    Y. Tekabe
    A. Abu-Taha
    L. Johnson
    B. A. Ban-AN Khaw
    G. L. Gavin Noble
    R. ElKoustaf
    S. M. Navare
    J. Lundbye
    D. Katten
    M. Platt
    A. Ahlberg
    G. V. Heller
    [J]. Journal of Nuclear Cardiology, 2005, 12 (2) : S18 - S19
  • [4] Abstract session I–Transplantation
    [J]. Genes & Immunity, 2004, 5 (Suppl 1): : S3 - S6
  • [5] Abstract Session IV - Transplantation
    [J]. Genes & Immunity, 2003, 4 (Suppl 1): : S8 - S11
  • [6] CORRECTION - AUTHORS OF SESSION ABSTRACT
    CHAHINE, RA
    [J]. ANNALS OF INTERNAL MEDICINE, 1972, 77 (06) : 1005 - +
  • [7] ABSTRACT - SINGLE SESSION - PSYCHOTHERAPY
    SPOERL, OH
    [J]. DISEASES OF THE NERVOUS SYSTEM, 1975, 36 (06): : 283 - 285
  • [8] HYBRID SESSION ABSTRACT PRESENTATIONS Abstracts
    不详
    [J]. CIRCULATION, 2023, 147
  • [9] BASIC RESEARCH SESSION 1 (ABSTRACT)
    不详
    [J]. JOURNAL OF PEDIATRIC UROLOGY, 2009, 5 : S18 - +
  • [10] Abstract session II – New developments
    [J]. Genes & Immunity, 2004, 5 (Suppl 1): : S6 - S8