703 search results - page 48 / 141 » Automatic Generation of Block-Recursive Codes |
MICAI
2004
Springer
15 years 3 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
ISIM
2007
14 years 11 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
137
click to vote
SOSP
2009
ACM
15 years 6 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
FIDJI
2004
Springer
15 years 1 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
106
click to vote
CAINE
2003
14 years 11 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...