11561 search results - page 2105 / 2313 » A Language for Biochemical Systems |
164
click to vote
CASSIS
2004
Springer
16 years 1 hour 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...
175
click to vote
CC
2004
Springer
16 years 1 hour 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...
170
click to vote
CC
2004
Springer
16 years 1 hour 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...
170
click to vote
CC
2004
Springer
16 years 1 hour 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...
196
click to vote
CC
2004
Springer
16 years 1 hour 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...