5090 search results - page 1 / 1018 » Constructing Strategies for Programming |
CSEDU
2009
13 years 6 months ago
2009
PPPJ
2004
ACM
13 years 10 months ago
2004
ACM
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...
LOPSTR
1995
Springer
13 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
COMSIS
2007
13 years 5 months ago
2007
The aim of this paper is to discuss how our pattern-based strategy for the visualization of data and control flow can effectively be used to animate the program and exhibit its beh...
GECCO
2008
Springer
13 years 6 months ago
2008
Springer
A new evolutionary method named “Genetic Network Programming with Control Nodes, GNPcn” has been proposed and applied to determine the timing of buying and selling stocks. GNP...