Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Ornela Dardha"'
Autor:
Wen Kokke, Ornela Dardha
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different sessions. In Classical Processes (CP)$-$a process calculus based on classical linear logic$-
Externí odkaz:
https://doaj.org/article/c43c74b072a5455fae15a9368e47862e
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)
This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-environments, which are collectio
Externí odkaz:
https://doaj.org/article/58152a80515540a2869ace798f9c97fb
Autor:
Ornela Dardha, Jorge A. Pérez
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 190, Iss Proc. EXPRESS/SOS 2015, Pp 1-15 (2015)
Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (dead)lock freedom. Several typing disciplines that ensure these propertie
Externí odkaz:
https://doaj.org/article/7bb869ad5fcf4c679449d2f88be97fe4
Autor:
Ornela Dardha
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 162, Iss Proc. BEAT 2014, Pp 27-34 (2014)
Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a distributed scenario. Adding sessions to the pi-calculus means augmen
Externí odkaz:
https://doaj.org/article/9196649e58c74fe0926799b169125494
Autor:
Matthew Alan Le Brun, Ornela Dardha
Publikováno v:
Programming Languages and Systems ISBN: 9783031300431
Multiparty Session Types (MPST) are a typing discipline for communication-centric systems, guaranteeing communication safety, deadlock freedom and protocol compliance. Several works have emerged which model failures and introduce fault-tolerance tech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15f7b18fb483f84364cd9c701ba24d22
https://doi.org/10.1007/978-3-031-30044-8_14
https://doi.org/10.1007/978-3-031-30044-8_14
Publikováno v:
PPDP
Typestates are state machines used in object-oriented programming to specify and verify correct order of method calls on an object. To avoid inconsistent object states, typestates enforce linear typing, which eliminates—or at best limits—aliasing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef3e85a12eaf5216ed1046acb3fcb572
https://doi.org/10.1145/3479394.3479414
https://doi.org/10.1145/3479394.3479414
Autor:
Ornela Dardha, Valentina Castiglioni
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 339
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84c7a2dcd75284c002b2e644a2fd2730
https://doi.org/10.4204/eptcs.339.0
https://doi.org/10.4204/eptcs.339.0
Autor:
Ornela Dardha, Uma Zalakain
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
FORTE
Linear type systems need to keep track of how programs use their resources. The standard approach is to use context splits specifying how resources are (disjointly) split across subterms. In this approach, context splits redundantly echo information
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c85a12d2f194d879905ec17b2f565f5
https://doi.org/10.1007/978-3-030-78089-0_9
https://doi.org/10.1007/978-3-030-78089-0_9
Autor:
Ornela Dardha, Ferruccio Damiani
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030781415
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b21f1ecbc8ab93a201a3fdb9a48812e0
https://doi.org/10.1007/978-3-030-78142-2
https://doi.org/10.1007/978-3-030-78142-2
Autor:
Ornela Dardha, Jurriaan Rot
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 322
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67cc780f2912c1703ac4d5f1f16622bf
https://doi.org/10.4204/eptcs.322.0
https://doi.org/10.4204/eptcs.322.0