Search Sciweavers | Sciweavers

1407 search results - page 6 / 282

» The Use of Overloading in Java Programs

click to vote

AMAST
2008
Springer

215views Software Engineering» more AMAST 2008»

Verification of Java Programs with Generics

13 years 9 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 »

click to vote

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

13 years 11 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

13 years 11 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

13 years 11 months ago

Download www.sigada.org

Shayne Flint

claim paper

Read More »