2335 search results - page 163 / 467 » Functional Differentiation of Computer Programs |
99
Voted
MPC
1995
Springer
15 years 4 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
122
Voted
ENTCS
2006
15 years 14 days ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
136
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
106
click to vote
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
97
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...