Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CPL: A Core Language for Cloud Computing -- Technical Report   Running distributed applications in the cloud involves deployment. That is,
distribution and configuration of application services and middleware
infrastructure. The considerable complexity of these tasks resulted in the
emergence of declarative JSON-based domain-specific deployment languages to
develop deployment programs. However, existing deployment programs unsafely
compose artifacts written in different languages, leading to bugs that are hard
to detect before run time. Furthermore, deployment languages do not provide
extension points for custom implementations of existing cloud services such as
application-specific load balancing policies.
  To address these shortcomings, we propose CPL (Cloud Platform Language), a
statically-typed core language for programming both distributed applications as
well as their deployment on a cloud platform. In CPL, application services and
deployment programs interact through statically typed, extensible interfaces,
and an application can trigger further deployment at run time. We provide a
formal semantics of CPL and demonstrate that it enables type-safe, composable
and extensible libraries of service combinators, such as load balancing and
fault tolerance.

26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th