487 search results - page 30 / 98 » A Compiled Implementation of Normalization by Evaluation |
CC
2007
Springer
15 years 5 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents the alternatives available to support threadprivate data in OpenMP and evaluates them. We show how current compilation systems rely on custom techniques for im...
105
click to vote
FOSSACS
2011
Springer
14 years 3 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
174
click to vote
CP
2009
Springer
16 years 10 days ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
112
click to vote
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...