Sciweavers

1368 search results - page 7 / 274
» Recursive modules for programming
Sort
View
GPEM
2006
97views more  GPEM 2006»
15 years 2 months ago
Evolving recursive programs by using adaptive grammar based genetic programming
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...
Man Wong
134
Voted
ESOP
1998
Springer
15 years 6 months ago
Recursive Object Types in a Logic of Object-Oriented Programs
K. Rustan M. Leino
POPL
1994
ACM
15 years 6 months ago
Manifest Types, Modules, and Separate Compilation
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
Xavier Leroy
114
Voted
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
15 years 9 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold