1557 search results - page 81 / 312 » Programming up to Congruence |
135
click to vote
SAIG
2000
Springer
15 years 7 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...
144
click to vote
AGP
1994
IEEE
15 years 7 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,...
196
click to vote
ASPLOS
2012
ACM
14 years 8 hour 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...
155
click to vote
FSTTCS
2009
Springer
15 years 10 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...
256
click to vote
ICFP
2009
ACM
16 years 4 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...