3688 search results - page 432 / 738 » Static analysis of aspects |
205
click to vote
ASWEC
2005
IEEE
16 years 12 days 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...
165
click to vote
QSIC
2005
IEEE
16 years 11 days 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...
184
click to vote
MSR
2005
ACM
16 years 10 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
168
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
201
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...