Sciweavers

3 search results - page 1 / 1
» Abstract Domains for Reordering CLP(RLin) Programs
Sort
View
71
Voted
JLP
2000
77views more  JLP 2000»
14 years 10 months ago
Abstract Domains for Reordering CLP(RLin) Programs
Viswanath Ramachandran, Pascal Van Hentenryck, Ago...
PPDP
2000
Springer
15 years 1 months ago
Enhanced sharing analysis techniques: a comprehensive evaluation
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...
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
EUROPAR
2004
Springer
15 years 1 months ago
Imprecise Exceptions in Distributed Parallel Components
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...
Kostadin Damevski, Steven G. Parker