146
Voted
CC
15 years 10 months ago
2007 Springer 
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
125
Voted
CC
15 years 3 months ago
2007 Springer 
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
109
Voted
CC
15 years 10 months ago
2007 Springer 
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
101
Voted
CC
15 years 10 months ago
2007 Springer 
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
119
Voted
CC
15 years 10 months ago
2007 Springer 
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
|
System Software