Výsledky vyhledávání - "Software and its engineering → Distributed programming languages"

Behavioural Types for Local-First Software (Artifact)

Autoři: Kuhn, Roland Melgratti, Hernán Tuosto, Emilio a další

Přispěvatelé: Kuhn, Roland Melgratti, Hernán Tuosto, Emilio a další

Zdroj: 37th European Conference on Object-Oriented Programming (ECOOP 2023)

Témata: local-first software, Software and its engineering → Distributed programming languages, Software and its engineering → Distributed systems organizing principles, publish-subscribe, Theory of computation → Distributed computing models, Distributed coordination, behavioural types, ddc:004, asynchronous communication

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.14

LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)

Autoři: Haas, Julian Mogk, Ragnar Yanakieva, Elena a další

Přispěvatelé: Haas, Julian Mogk, Ragnar Yanakieva, Elena a další

Témata: Software and its engineering → Consistency, Invariants, Theory of computation → Program specifications, Computer systems organization → Peer-to-peer architectures, Software and its engineering → Distributed programming languages, Software and its engineering → Data flow languages, Automated Verification, Software and its engineering → Formal software verification, Reactive Programming, Local-First Software, Consistency, ddc:004, Theory of computation → Pre- and post-conditions

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.11

On the Monitorability of Session Types, in Theory and Practice (Extended Version): The Choreographic and Multitier Cases

Autoři: Giallorenzo, Saverio Montesi, Fabrizio Peressotti, Marco a další

Přispěvatelé: Giallorenzo, Saverio Montesi, Fabrizio Peressotti, Marco a další

Zdroj: Giallorenzo, S, Montesi, F, Peressotti, M, Richter, D, Salvaneschi, G & Weisenburger, P 2021, Multiparty Languages : The Choreographic and Multitier Cases . in A Møller & M Sridharan (eds), 35th European Conference on Object-Oriented Programming (ECOOP 2021) . vol. 194, 22, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), pp. 22:1-22:27, European Conference on Object-Oriented Programming, 11/07/2021 . https://doi.org/10.4230/LIPIcs.ECOOP.2021.22

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, Distributed Programming, Choreography Programming, Multitier Programming, computer science, 02 engineering and technology, Distributed Programming, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Software and its engineering → Distributed programming languages, Choreography Programming, Software and its engineering → Multiparadigm languages, Multitier Programming, 0202 electrical engineering, electronic engineering, information engineering, Choreographies, Multitier Languages, ddc:004, Software and its engineering → Concurrent programming languages, Programming Languages (cs.PL)

Popis souboru: application/pdf; text

Přístupová URL adresa: http://arxiv.org/abs/2105.06291
https://inria.hal.science/hal-03337915v1
https://doi.org/10.4230/lipics.ecoop.2021.23
https://inria.hal.science/hal-03337915v1/document
https://dblp.uni-trier.de/db/conf/ecoop/ecoop2021.html#GiallorenzoMPRS21
https://drops.dagstuhl.de/opus/volltexte/2021/14065/pdf/LIPIcs-ECOOP-2021-22.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14065/
https://hal.inria.fr/hal-03337915
https://cris.unibo.it/handle/11585/830888
https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
https://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-06291
https://ui.adsabs.harvard.edu/abs/2021arXiv210506291B/abstract
https://arxiv.org/abs/2105.06291
https://arxiv.org/pdf/2105.06291
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.22
https://findresearcher.sdu.dk:8443/ws/files/184441097/LIPIcs_ECOOP_2021_22.pdf
https://portal.findresearcher.sdu.dk/da/publications/eaf4d11c-8f3f-4fef-808c-145038a26874
https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
https://drops.dagstuhl.de/opus/volltexte/2021/14065/
https://doi.org/10.4230/lipics.ecoop.2021.22
https://hdl.handle.net/11585/830888
http://www.alexandria.unisg.ch/267230/