Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Declarative, Secure, Convergent Edge Computation   Eventual consistency is a more natural model than strong consistency for a
distributed system, since it is closer to the underlying physical reality.
Therefore, we propose that it is important to find a programming model that is
both congenial to developers and supports eventual consistency. In particular,
we consider that a crucial test for such a model is that it should support edge
computation in a both natural and secure way. We present a preliminary work
report with an initial solution, called Lasp, which resembles a concurrent
functional language while naturally supporting an eventually consistent
coordination-free distribution model.

6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom