1597 search results - page 131 / 320 » A Design Method for Object-Oriented Programming |
124
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
131
click to vote
WCRE
1993
IEEE
15 years 7 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
146
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
112
click to vote
FM
2001
Springer
15 years 7 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
134
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...