Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A new model for Context-Oriented Programs   Context-oriented programming (COP) is a new technique for programming that
allows changing the context in which commands execute as a program executes.
Compared to object-oriented programming (aspect-oriented programming), COP is
more flexible (modular and structured). This paper presents a precise
syntax-directed operational semantics for context-oriented programming with
layers, as realized by COP languages like ContextJ* and ContextL. Our language
model is built on Java enriched with layer concepts and activation and
deactivation of layer scopes. The paper also presents a static type system that
guarantees that typed programs do not get stuck. Using the means of the
proposed semantics, the mathematical correctness of the type system is
presented in the paper.

7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat