2673 search results - page 356 / 535 » Guided Static Analysis |
143
click to vote
ADBIS
2006
Springer
15 years 11 months ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
122
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
122
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
160
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
137
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...