4722 search results - page 489 / 945 » Encoding Program Executions |
132
Voted
POPL
1997
ACM
15 years 9 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
166
click to vote
ICS
1997
Tsinghua U.
15 years 9 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
144
click to vote
PLDI
1996
ACM
15 years 9 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
120
click to vote
APL
1993
ACM
15 years 9 months ago
1993
ACM
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...
169
Voted
FPCA
1993
15 years 9 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...