Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modular Compilation of a Synchronous Language   Synchronous languages rely on formal methods to ease the development of
applications in an efficient and reusable way. Formal methods have been
advocated as a means of increasing the reliability of systems, especially those
which are safety or business critical. It is still difficult to develop
automatic specification and verification tools due to limitations like state
explosion, undecidability, etc... In this work, we design a new specification
model based on a reactive synchronous approach. Then, we benefit from a formal
framework well suited to perform compilation and formal validation of systems.
In practice, we design and implement a special purpose language (LE) and its
two semantics: the ehavioral semantics helps us to define a program by the set
of its behaviors and avoid ambiguousness in programs' interpretation; the
execution equational semantics allows the modular compilation of programs into
software and hardware targets (c code, vhdl code, fpga synthesis, observers).
Our approach is pertinent considering the two main requirements of critical
realistic applications: the modular compilation allows us to deal with large
systems, the model-based approach provides us with formal validation.

34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph