1411 search results - page 155 / 283 » A Value Analysis for C Programs |
145
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
239
Voted
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
172
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
259
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
224
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...