11561 search results - page 2105 / 2313 » A Language for Biochemical Systems |
186
click to vote
CASSIS
2004
Springer
16 years 17 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
202
click to vote
CC
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
182
click to vote
CC
2004
Springer
16 years 17 days ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
194
click to vote
CC
2004
Springer
16 years 17 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
223
click to vote
CC
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...