2715 search results - page 210 / 543 » An Implementation of Narrowing Strategies |
133
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
160
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
The explosive growth of new multimedia services over the Internet necessitates efficient network management. Improved network management systems are expected to simultaneously prov...
181
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
135
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
168
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...