2673 search results - page 120 / 535 » Guided Static Analysis |
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
147
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
This paper considers the role of network connectivity in supporting context-sensitive applications. A range of context-sensitive applications are analysed with respect to connectiv...
149
click to vote
XSYM
2004
Springer
15 years 9 months ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
153
click to vote
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
118
click to vote
TOPLAS
2008
15 years 4 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...