1880 search results - page 109 / 376 » A Static Analysis for Beta-Binders |
TOPLAS
2008
14 years 11 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
CORR
2011
Springer
14 years 3 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
115
click to vote
WCET
2010
14 years 9 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...