768 search results - page 14 / 154 » Symbolic and Abstract Interpretation for C C Programs |
113
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
142
click to vote
CEFP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
160
click to vote
COOTS
1997
15 years 6 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
146
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In today’s flows, there is still a gap between system level description and hardware implementation, especially for analog/RF building blocks. SystemC-AMS or co-simulations have...
182
click to vote
INFSOF
2010
15 years 2 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...