170 search results - page 16 / 34 » Debugging Optimised Code Using Function Interpretation |
114
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
138
click to vote
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
182
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
121
Voted
IUI
2005
ACM
15 years 6 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Interpreting compiler errors and exception messages is challenging for novice programmers. Presenting examples of how other programmers have corrected similar errors may help novi...