155
Voted
CC
15 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...
121
click to vote
CC
15 years 8 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 ...
144
Voted
CC
15 years 7 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...
123
Voted
CC
15 years 8 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...
118
Voted
CC
15 years 8 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