LoRe: A Programming Model for Verifiably Safe Local-first Software.
Autor: | Haas, Julian1, Mogk, Ragnar1, Yanakieva, Elena2, Bieniusa, Annette2, Mezini, Mira3 |
---|---|
Zdroj: | ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-26. 26p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |