2049 search results - page 5 / 410 » Normalization and Partial Evaluation |
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
PEPM
1997
ACM
13 years 11 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
BMCBI
2007
13 years 7 months ago
2007
Background: Urine from male Sprague-Dawley rats 25, 40, and 80 days old was analyzed by NMR and UPLC/MS. The effects of data normalization procedures on principal component analys...
HUMAN
2005
Springer
14 years 1 months ago
2005
Springer
Syntactically different URLs could represent the same web page on the World Wide Web, and duplicate representation for web pages causes web applications to handle a large amount of...