1379 search results - page 175 / 276 » codes 2009 |
98
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationa...
127
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...
248
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
252
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
246
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...