Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Operational semantics for signal handling   Signals are a lightweight form of interprocess communication in Unix. When a
process receives a signal, the control flow is interrupted and a previously
installed signal handler is run. Signal handling is reminiscent both of
exception handling and concurrent interleaving of processes. In this paper, we
investigate different approaches to formalizing signal handling in operational
semantics, and compare them in a series of examples. We find the big-step style
of operational semantics to be well suited to modelling signal handling. We
integrate exception handling with our big-step semantics of signal handling, by
adopting the exception convention as defined in the Definition of Standard ML.
The semantics needs to capture the complex interactions between signal handling
and exception handling.

2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg