Author of the publication

Set-Sharing Is Not Always Redundant for Pair-Sharing.

, and . FLOPS, volume 2998 of Lecture Notes in Computer Science, page 117-131. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Generic Framework for Context-Sensitive Analysis of Modular Programs., , , , , , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming., , and . ACM Trans. Program. Lang. Syst., 21 (2): 189-239 (1999)Optimizing Compilation of Constraint Handling Rules., , , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 74-89. Springer, (2001)Adding Constraint Solving to Mercury., , , , , and . PADL, volume 3819 of Lecture Notes in Computer Science, page 118-133. Springer, (2006)Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization., , and . ILPS, page 320-336. MIT Press, (1994)Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism., , , and . J. Log. Program., 38 (2): 165-218 (1999)Towards a Concurrent Semantics based Analysis of CC and CLP., , , , and . PPCP, volume 874 of Lecture Notes in Computer Science, page 151-161. Springer, (1994)A Practical Approach to the Global Analysis of CLP Programs., and . ILPS, page 437-455. MIT Press, (1993)A Practical Application of Sharing and Freeness Inference., and . WSA, volume 81-82 of Series Bigre, page 118-125. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Improving Abstract Interpretations by Combining Domains., , , , and . PEPM, page 194-205. ACM, (1993)