4340 search results - page 351 / 868 » Formal Methods and Cryptography |
161
click to vote
SIGADA
2005
Springer
16 years 6 days ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
197
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
182
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
172
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
152
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...