5235 search results - page 215 / 1047 » Analysis of Multithreaded Programs |
199
click to vote
ICDCIT
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
149
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
176
click to vote
CGO
2008
IEEE
16 years 1 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
193
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
152
click to vote
IPL
2007
15 years 6 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...