1880 search results - page 265 / 376 » A Static Analysis for Beta-Binders |
153
click to vote
QSIC
2005
IEEE
15 years 11 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...
165
click to vote
MSR
2005
ACM
15 years 11 months 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...
155
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
180
click to vote
EUROPAR
2005
Springer
15 years 11 months 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 ...
136
click to vote
GEOS
2005
Springer
15 years 11 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...