50 search results - page 1 / 10 » What's Wrong With Formal Programming Methods |
ICCI
1991
13 years 8 months ago
1991
ASPLOS
2009
ACM
14 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...
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
TYPES
1998
Springer
13 years 9 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...