Veroniek Dumortier

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

1996
Global Analysis of Constraint Logic Programs.
ACM Trans. Program. Lang. Syst., 1996

1995
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.
Proceedings of the Logic Programming, 1995

1994
Freeness and related analyses of constraint logic programs using abstract interpretation.
PhD thesis, 1994

Towards a Practical Full Mode Inference System for CLP(H, N).
Proceedings of the Logic Programming, 1994

1993
Freeness Analysis in the Presence of Numerical Constraints.
Proceedings of the Logic Programming, 1993

1991
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.
Proceedings of the Processing Declarative Knowledge, 1991

1990
On the Automatic Generation of Events in Delta Prolog.
Proceedings of the Programming Language Implementation and Logic Programming, 1990


  Loading...