4719 search results - page 214 / 944 » Newtonian program analysis |
119
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
104
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
133
click to vote
JPDC
2011
14 years 7 months ago
2011
Scripting languages such as R and Matlab are widely used in scientific data processing. As the data volume and the complexity of analysis tasks both grow, sequential data process...
168
Voted
FASE
2011
Springer
14 years 8 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
137
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...