1557 search results - page 81 / 312 » Programming up to Congruence |
SAIG
2000
Springer
15 years 2 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
101
click to vote
AGP
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
133
click to vote
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
106
click to vote
FSTTCS
2009
Springer
15 years 5 months ago
2009
Springer
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
184
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...