( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Practical Full Mode Inference System for CLP(H, N).

, и . ICLP, стр. 569-583. MIT Press, (1994)

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.

Baldwin Dumortier

Jérôme Roland Jean-Pierre Bernadin Dumortier

 

Другие публикации лиц с тем же именем

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions., , и . PDK, том 567 из Lecture Notes in Computer Science, стр. 309-317. Springer, (1991)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).Freeness Analysis in the Presence of Numerical Constraints., , , и . ICLP, стр. 100-115. MIT Press, (1993)Global Analysis of Constraint Logic Programs., , , , , и . ACM Trans. Program. Lang. Syst., 18 (5): 564-614 (1996)Using Constraint Visualisation Tools., , , , , и . Analysis and Visualization Tools for Constraint Programming, том 1870 из Lecture Notes in Computer Science, стр. 321-356. Springer, (2000)Towards a Practical Full Mode Inference System for CLP(H, N)., и . ICLP, стр. 569-583. MIT Press, (1994)On the Automatic Generation of Events in Delta Prolog., и . PLILP, том 456 из Lecture Notes in Computer Science, стр. 324-339. Springer, (1990)A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs., , и . ILPS, стр. 336-350. MIT Press, (1995)