Search Sciweavers | Sciweavers

1407 search results - page 6 / 282

» The Use of Overloading in Java Programs

Voted

AMAST
2008
Springer

215views Software Engineering» more AMAST 2008»

Verification of Java Programs with Generics

14 years 11 months ago

Download www.informatik.uni-augsburg.de

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...

Kurt Stenzel, Holger Grandy, Wolfgang Reif

claim paper

Read More »

109

click to vote

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

15 years 1 months ago

Download ilab1.korea.ac.kr

Jung Gyu Park, Arthur H. Lee

claim paper

Read More »

click to vote

GECCO
1999
Springer

142views Optimization» more GECCO 1999»

Towards Byte Code Genetic Programming

15 years 1 months ago

Download www.csds.uidaho.edu

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...

Brad Harvey, James A. Foster, Deborah A. Frincke

claim paper

Read More »

click to vote

SIGADA
1998
Springer

72views Programming Languages» more SIGADA 1998»

Using Java APIs with Native Ada Compilers

15 years 1 months ago

Download www.sigada.org

Shayne Flint

claim paper

Read More »