LoRe: A Programming Model for Verifiably Safe Local-first Software.
Julian HaasRagnar MogkElena YanakievaAnnette BieniusaMira MeziniPublished in: ACM Trans. Program. Lang. Syst. (2024)
Keyphrases
- computational model
- probability distribution
- management system
- social networks
- decision trees
- conceptual model
- experimental data
- theoretical analysis
- input data
- metamodel
- formal model
- parameter estimation
- computer systems
- maximum likelihood
- database
- programming language
- prior knowledge
- information systems
- genetic algorithm