LoRe: A Programming Model for Verifiably Safe Local-first Software.

Saved in:
Bibliographic Details
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: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/3633769