Login / Signup
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).
Julian Haas
Ragnar Mogk
Elena Yanakieva
Annette Bieniusa
Mira Mezini
Published in:
ECOOP (2023)
Keyphrases
</>
extended abstract
computational model
real time
statistical model
conceptual model
software maintenance
high level
image sequences
objective function
cost function
theoretical analysis
theoretical framework
metamodel
object model