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