792 search results - page 39 / 159 » Static Analysis of XSLT Programs |
92
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
98
Voted
IFL
2005
Springer
15 years 6 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
122
Voted
PLDI
1993
ACM
15 years 4 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...