27 search results - page 1 / 6 » Whole-program compilation in MLton |
ML
2006
ACM
13 years 10 months ago
2006
ACM
ASPLOS
2006
ACM
13 years 10 months ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
PLDI
1999
ACM
13 years 9 months ago
1999
ACM
Whole program paths (WPP) are a new approach to capturing and representing a program’s dynamic—actually executed—control flow. Unlike other path profiling techniques, which ...
ML
2008
ACM
13 years 4 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...