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

Julian Haas Ragnar Mogk Elena Yanakieva Annette Bieniusa Mira Mezini

Published in: CoRR (2023)

Keyphrases

high level
computational model
programming language
formal model
software development
simulation model
database
similarity measure
objective function
probabilistic model
theoretical analysis
prior knowledge
probability distribution
statistical model
experimental data
conceptual model