168 search results - page 1 / 34 » Imperative Program Transformation by Rewriting |
CADE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
CC
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
RTA
2010
Springer
13 years 7 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
MODELS
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
PPDP
2004
Springer
13 years 9 months ago
2004
Springer