Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Murawska, Agata"'
We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typing is achieved by generalising classical linear logic to judgements th
Externí odkaz:
http://arxiv.org/abs/1808.05088
Publikováno v:
Carbone, M, Cruz-Filipe, L, Montesi, F & Murawska, A 2019, Multiparty Classical Choreographies . in P J Stuckey & F Mesnard (eds), Logic-Based Program Synthesis and Transformation-28th International Symposium, LOPSTR 2018 . Springer VS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11408 LNCS, pp. 59-76, 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, Frankfurt, Germany, 04/09/2018 . https://doi.org/10.1007/978-3-030-13838-7_4
We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typing is achieved by generalising classical linear logic to judgements th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::0e3c4fb6c0851677578e8b535e34cbf3
https://arxiv.org/pdf/1808.05088.pdf
https://arxiv.org/pdf/1808.05088.pdf
Autor:
Murawska, Agata Anna
Publikováno v:
Murawska, A A 2017, Modern Logical Frameworks Design . ITU-DS, no. 137, IT-Universitetet .
Throughout the years, logical frameworks have been a successful tool for prototyping and developing a number of logics and programming languages. However, to use the full power of the LF approach, the behaviour of variables in the system being mechan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2988::0b3e86be75a286dc028bf4ef1cb6c4d6
https://pure.itu.dk/ws/files/82440389/Final_Version_of_PhD_Thesis_Agata_Anna_Murawska.pdf
https://pure.itu.dk/ws/files/82440389/Final_Version_of_PhD_Thesis_Agata_Anna_Murawska.pdf
Publikováno v:
Linn Georges, A, Murawska, A, Otis, S & Pientka, B 2017, Lincx: A Linear Logical Framework with First-class Contexts . in 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings . Springer, Lecture Notes in Computer Science, vol. 10201, pp. 530-555 . https://doi.org/10.1007/978-3-662-54434-1_20
Linear logic provides an elegant framework for modelling stateful, imperative and concurrent systems by viewing a context of assumptions as a set of resources. However, mechanizing the meta-theory of such systems remains a challenge, as we need to ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2988::1553f5bf473c3d6ddcea78ba2e8c3ca9
https://pure.itu.dk/portal/da/publications/f19cdd54-baac-47f6-9845-2b81dc39b63d
https://pure.itu.dk/portal/da/publications/f19cdd54-baac-47f6-9845-2b81dc39b63d
Publikováno v:
Lecture Notes in Computer Science; 2020, p599-619, 21p
Publikováno v:
ACM International Conference Proceeding Series; 7/17/2014, p1-8, 8p