Loading: Formal foundations of serverless computing