487 search results - page 5 / 98 » A Compiled Implementation of Normalization by Evaluation |
PLDI
1996
ACM
15 years 3 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
103
click to vote
CC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
IEEEPACT
2002
IEEE
15 years 4 months ago
2002
IEEE
Data parallel compilers have long aimed to equal the performance of carefully hand-optimized parallel codes. For tightly-coupled applications based on line sweeps, this goal has b...
FCCM
2000
IEEE
15 years 3 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
IPPS
1999
IEEE
15 years 3 months ago
1999
IEEE
Abstract. The combination of a language with ne-grain implicit parallelism and a data
ow evaluation scheme is suitable for high-level programming on massively parallel architectur...