3107 search results - page 308 / 622 » Error-Correcting Source Code |
145
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speci...
104
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
A new hybrid page layout analysis algorithm is proposed, which uses bottom-up methods to form an initial data-type hypothesis and locate the tab-stops that were used when the page...
140
click to vote
MSR
2010
ACM
15 years 9 months ago
2010
ACM
—Bugs in Debian differ from regular software bugs. They are usually associated with packages, instead of software modules. They are caused and fixed by source package uploads in...
124
click to vote
EDCC
2006
Springer
15 years 8 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
133
click to vote
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...