1407 search results - page 6 / 282 » The Use of Overloading in Java Programs |
118
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
127
Voted
REFLECTION
2001
Springer
15 years 4 months ago
2001
Springer
102
Voted
GECCO
1999
Springer
15 years 3 months ago
1999
Springer
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...
SIGADA
1998
Springer
15 years 3 months ago
1998
Springer
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE