4716 search results - page 572 / 944 » Iterative-free program analysis |
178
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
174
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
201
click to vote
CASSIS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
215
click to vote
RTCSA
2003
IEEE
16 years 1 days ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
201
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...