151 search results - page 27 / 31 » Tactic-Based Optimized Compilation of Functional Programs |
124
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
126
Voted
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
111
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
151
click to vote
FPCA
1995
15 years 5 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
141
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...