4719 search results - page 621 / 944 » Newtonian program analysis |
167
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...
173
click to vote
SEKE
2005
Springer
16 years 7 days ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
156
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
128
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
181
click to vote
AMAST
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...