Sciweavers

2673 search results - page 62 / 535
» Guided Static Analysis
Sort
View
58
Voted
ENTCS
2008
77views more  ENTCS 2008»
15 years 24 days ago
A Comparative Study of Industrial Static Analysis Tools
Pär Emanuelsson, Ulf Nilsson
54
Voted
JOT
2008
57views more  JOT 2008»
15 years 21 days ago
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
Manuel Fähndrich, Diego Garbervetsky, Wolfram...
90
Voted
JFP
2006
80views more  JFP 2006»
15 years 21 days ago
Static analysis for path correctness of XML queries
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...