( en | de | ru )

 

Disambiguierung von "Dumortier, Veroniek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Global Analysis of Constraint Logic Programs.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Baldwin Dumortier

Jérôme Roland Jean-Pierre Bernadin Dumortier

 

Weitere Publikationen von Autoren mit dem selben Namen

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