Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Software and its engineering → Distributed programming languages"'
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e3932b100becdcd9b4646fd95f287ee
This artifact supports the theory of swarm protocols presented in the related article. Specifically, following the top-down development typical of choreographic approaches, our artifact enables the specification of systems of peers communicating thro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b41250c95418c022be2c2461c19c6c9
Peer-to-peer systems are the most resilient form of distributed computing, but the design of robust protocols for their coordination is difficult. This makes it hard to specify and reason about global behaviour of such systems. This paper presents sw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4705687328ce77a7f6f4d8cc8dfcf5ef
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ea042219855bf8302e71d7b4623ac68
Autor:
Richter, David, Kretzler, David, Weisenburger, Pascal, Salvaneschi, Guido, Faust, Sebastian, Mezini, Mira
Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8609df0dad9c52626635ce8d72e93d5
In the paper "Functional programming for distributed systems with XC" we present XC, a programming language to develop the collective behaviour of homogeneous distributed systems while abstracting over concurrency, asynchronous execution, message los
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17e093ba738a095eee46f8a123ff3576
https://hdl.handle.net/11585/903255
https://hdl.handle.net/11585/903255
Autor:
Richter, David, Kretzler, David, Weisenburger, Pascal, Salvaneschi, Guido, Faust, Sebastian, Mezini, Mira
Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::587734a388f0b257aa957104b311313c
Autor:
Giallorenzo, Saverio, Montesi, Fabrizio, Peressotti, Marco, Richter, David, Salvaneschi, Guido, Weisenburger, Pascal
Choreographic languages aim to express multiparty communication protocols, by providing primitives that make interaction manifest. Multitier languages enable programming computation that spans across several tiers of a distributed system, by supporti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::29c6450179df29a5ae6e7e245ecc9a88
https://doi.org/10.4230/lipics.ecoop.2021.22
https://doi.org/10.4230/lipics.ecoop.2021.22
Programming efficient distributed, concurrent systems requires new abstractions that go beyond traditional sequential programming. But programmers already have trouble getting sequential code right, so simplicity is essential. The core problem is tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b010cddb020a89e886dc1f639e18b5b