8 search results - page 2 / 2 » Finding and understanding bugs in C compilers |
WCE
2007
13 years 5 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
HOTNETS
2010
12 years 11 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...