144
click to vote
CC
15 years 6 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...
112
Voted
CC
15 years 6 months ago
2001 Springer 
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
137
click to vote
CC
15 years 6 months ago
2001 Springer 
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
111
Voted
CC
15 years 6 months ago
2001 Springer 
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
105
Voted
CC
15 years 6 months ago
2001 Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
|
System Software