792 search results - page 42 / 159 » Static Analysis of XSLT Programs |
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
90
Voted
SERP
2004
15 years 2 months ago
2004
Cohesion is one of the fundamental measures of the 'goodness' of a software design. The most accepted and widely studied object-oriented cohesion metric is Chidamber and...
94
Voted
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
88
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
103
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...