Veroniek Dumortier

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco
Using Constraint Visualisation Tools. Analysis and Visualization Tools for Constraint Programming (2000)
Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. 18 (5) (1996)
Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS (1995)
Veroniek Dumortier, Gerda Janssens
Towards a Practical Full Mode Inference System for CLP(H, N). ICLP (1994)
Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish
Freeness Analysis in the Presence of Numerical Constraints. ICLP (1993)
Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK (1991)
Veroniek Dumortier, Maurice Bruynooghe
On the Automatic Generation of Events in Delta Prolog. PLILP (1990)