LoRe: A Programming Model for Verifiably Safe Local-first Software.
Saved in:
| Title: | LoRe: A Programming Model for Verifiably Safe Local-first Software. |
|---|---|
| Authors: | Haas, Julian1, Mogk, Ragnar1, Yanakieva, Elena2, Bieniusa, Annette2, Mezini, Mira3 |
| Source: | ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-26. 26p. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3633769 |