%0 Journal Article %1 journals/toplas/HaasMYBM24 %A Haas, Julian %A Mogk, Ragnar %A Yanakieva, Elena %A Bieniusa, Annette %A Mezini, Mira %D 2024 %J ACM Trans. Program. Lang. Syst. %K dblp %N 1 %P 2:1-2:26 %T LoRe: A Programming Model for Verifiably Safe Local-first Software. %U http://dblp.uni-trier.de/db/journals/toplas/toplas46.html#HaasMYBM24 %V 46

@article{journals/toplas/HaasMYBM24, added-at = {2024-04-15T00:00:00.000+0200}, author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira}, biburl = {https://www.bibsonomy.org/bibtex/2859f4464fe784035dfc391bbfa5c308f/dblp}, ee = {https://doi.org/10.1145/3633769}, interhash = {45caf10e442f58e654d849096d763867}, intrahash = {859f4464fe784035dfc391bbfa5c308f}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, month = {March}, number = 1, pages = {2:1-2:26}, timestamp = {2024-04-22T07:12:49.000+0200}, title = {LoRe: A Programming Model for Verifiably Safe Local-first Software.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas46.html#HaasMYBM24}, volume = 46, year = 2024 }