4719 search results - page 529 / 944 » Newtonian program analysis |
219
click to vote
IJISEC
2007
15 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
230
click to vote
MP
1998
15 years 7 months ago
1998
In the last 25 years approximation algorithms for discrete optimization problems have been in the center of research in the fields of mathematical programming and computer science...
160
click to vote
ICSM
2009
IEEE
16 years 2 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
188
click to vote
CSMR
2007
IEEE
16 years 2 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
205
click to vote
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...