136 search results - page 7 / 28 » The Category Theoretic Solution of Recursive Program Schemes |
212
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
118
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
140
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...
132
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
105
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Matrix multiplication is a basic computing operation. Whereas it is basic, it is also very expensive with a straight forward technique of O(N3 ) runtime complexity. More complex s...