50 search results - page 1 / 10 » What's Wrong With Formal Programming Methods |
ICCI
1991
15 years 6 months ago
1991
216
click to vote
ASPLOS
2009
ACM
16 years 3 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...
139
click to vote
FMCAD
2008
Springer
15 years 4 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
15 years 9 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...
140
click to vote
TYPES
1998
Springer
15 years 7 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...