Formal foundations of serverless computing.

Abhinav Jangda Donald Pinckney Yuriy Brun Arjun Guha

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

artificial intelligence
database
information systems
formal model
databases
artificial neural networks
trade off
real time
information retrieval
image processing
website
three dimensional
multi agent
information technology
data model
formal language