Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Transforming Functions Accessing Global Variables into Logically
  Constrained Term Rewriting Systems   In this paper, we show a new approach to transformations of an imperative
program with function calls and global variables into a logically constrained
term rewriting system. The resulting system represents transitions of the whole
execution environment with a call stack. More precisely, we prepare a function
symbol for the whole environment, which stores values for global variables and
a call stack as its arguments. For a function call, we prepare rewrite rules to
push the frame to the stack and to pop it after the execution. Any running
frame is located at the top of the stack, and statements accessing global
variables are represented by rewrite rules for the environment symbol. We show
a precise transformation based on the approach and prove its correctness.

22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
2
The categories of this paper are: math
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics