27 search results - page 2 / 6 » A verifiable SSA program representation for aggressive compi... |
LCPC
2005
Springer
13 years 10 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...
VEE
2005
ACM
13 years 11 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
IEEEPACT
2006
IEEE
13 years 11 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
JUCS
2006
13 years 5 months ago
2006
: The seminal algorithm developed by Ron Cytron, Jeanne Ferrante and colleagues in 1989 for the placement of -nodes in a control flow graph is still widely used in commercial compi...
DAC
2003
ACM
14 years 6 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...