3 search results - page 1 / 1 » Abstract Domains for Reordering CLP(RLin) Programs |
JLP
2000
14 years 10 months ago
2000
PPDP
2000
Springer
15 years 2 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
EUROPAR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...