( en | de | ru )

 

Disambiguation of "Dumortier, Veroniek"

Author of the publication

copydeleteadd this publication to your clipboard
Global Analysis of Constraint Logic Programs.

, , , , , and . ACM Trans. Program. Lang. Syst., 18 (5): 564-614 (1996)

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.

Baldwin Dumortier

Jérôme Roland Jean-Pierre Bernadin Dumortier

 

Other publications of authors with the same name

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions., , and . PDK, volume 567 of Lecture Notes in Computer Science, page 309-317. Springer, (1991)Global Analysis of Constraint Logic Programs., , , , , and . ACM Trans. Program. Lang. Syst., 18 (5): 564-614 (1996)Using Constraint Visualisation Tools., , , , , and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 321-356. Springer, (2000)Freeness Analysis in the Presence of Numerical Constraints., , , and . ICLP, page 100-115. MIT Press, (1993)Freeness and related analyses of constraint logic programs using abstract interpretation.. Katholieke Universiteit Leuven, Belgium, (1994)base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/134598).On the Automatic Generation of Events in Delta Prolog., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 324-339. Springer, (1990)Towards a Practical Full Mode Inference System for CLP(H, N)., and . ICLP, page 569-583. MIT Press, (1994)A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs., , and . ILPS, page 336-350. MIT Press, (1995)