The Session Abstract Machine

Bibliographic Details
Main Author: Caires, Luís
Publication Date: 2024
Other Authors: Toninho, Bernardo
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10362/180622
Summary: Publisher Copyright: © The Author(s) 2024.
id RCAP_9e6e1ce2a4ffae1b40ba40093aaa8bfe
oai_identifier_str oai:run.unl.pt:10362/180622
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling The Session Abstract MachineAbstract machineLinear LogicSession TypesTheoretical Computer ScienceComputer Science(all)Publisher Copyright: © The Author(s) 2024.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.Springer Science and Business Media Deutschland GmbHNOVALincsRUNCaires, LuísToninho, Bernardo2025-03-13T21:21:22Z20242024-01-01T00:00:00Zconference objectinfo:eu-repo/semantics/publishedVersion30application/pdfhttp://hdl.handle.net/10362/180622eng97830315726160302-9743PURE: 106546404https://doi.org/10.1007/978-3-031-57262-3_9info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-03-31T01:59:54Zoai:run.unl.pt:10362/180622Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T04:41:59.812980Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv The Session Abstract Machine
title The Session Abstract Machine
spellingShingle The Session Abstract Machine
Caires, Luís
Abstract machine
Linear Logic
Session Types
Theoretical Computer Science
Computer Science(all)
title_short The Session Abstract Machine
title_full The Session Abstract Machine
title_fullStr The Session Abstract Machine
title_full_unstemmed The Session Abstract Machine
title_sort The Session Abstract Machine
author Caires, Luís
author_facet Caires, Luís
Toninho, Bernardo
author_role author
author2 Toninho, Bernardo
author2_role author
dc.contributor.none.fl_str_mv NOVALincs
RUN
dc.contributor.author.fl_str_mv Caires, Luís
Toninho, Bernardo
dc.subject.por.fl_str_mv Abstract machine
Linear Logic
Session Types
Theoretical Computer Science
Computer Science(all)
topic Abstract machine
Linear Logic
Session Types
Theoretical Computer Science
Computer Science(all)
description Publisher Copyright: © The Author(s) 2024.
publishDate 2024
dc.date.none.fl_str_mv 2024
2024-01-01T00:00:00Z
2025-03-13T21:21:22Z
dc.type.driver.fl_str_mv conference object
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/180622
url http://hdl.handle.net/10362/180622
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 9783031572616
0302-9743
PURE: 106546404
https://doi.org/10.1007/978-3-031-57262-3_9
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 30
application/pdf
dc.publisher.none.fl_str_mv Springer Science and Business Media Deutschland GmbH
publisher.none.fl_str_mv Springer Science and Business Media Deutschland GmbH
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833602123612291072

Similar Items