1781 search results - page 163 / 357 » Functional Answer Set Programming |
113
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
In this work, we employed genetic programming to evolve a "white hat" attacker; that is to say, we evolve variants of an attack with the objective of providing better de...
136
click to vote
ENTCS
2006
15 years 1 months 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...
114
click to vote
EUROGP
2009
Springer
15 years 8 months ago
2009
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...
131
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
149
click to vote
WOA
2003
15 years 3 months ago
2003
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...