1497 search results - page 190 / 300 » Extended static checking |
107
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
92
Voted
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
101
Voted
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
102
click to vote
NSDI
2008
15 years 3 months ago
2008
This paper presents Swift, a packet filter for high performance packet capture on commercial off-the-shelf hardware. The key features of Swift include (1) extremely low filter upd...
117
click to vote
ENTCS
2002
15 years 17 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...