1799 search results - page 19 / 360 » The Logic of Correctness in Software Engineering |
124
Voted
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
139
click to vote
FSTTCS
1999
Springer
15 years 6 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
146
click to vote
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
127
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...