Veroniek Dumortier

According to our database, Veroniek Dumortier authored at least 8 papers between 1990 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Using Constraint Visualisation Tools.

Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1996

Global Analysis of Constraint Logic Programs.

Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens

ACM Trans. Program. Lang. Syst., 1996

1995

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.

Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier

Proceedings of the Logic Programming, 1995

1994

Freeness and related analyses of constraint logic programs using abstract interpretation.

Veroniek Dumortier

PhD thesis, 1994

Towards a Practical Full Mode Inference System for CLP(H, N).

Veroniek Dumortier, Gerda Janssens

Proceedings of the Logic Programming, 1994

1993

Freeness Analysis in the Presence of Numerical Constraints.

Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish

Proceedings of the Logic Programming, 1993

1991

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.

Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens

Proceedings of the Processing Declarative Knowledge, 1991

1990

On the Automatic Generation of Events in Delta Prolog.

Veroniek Dumortier, Maurice Bruynooghe

Proceedings of the Programming Language Implementation and Logic Programming, 1990