Travelled to:
1 × Hungary
1 × Italy
1 × Sweden
1 × USA
Collaborated with:
G.Janssens M.Bruynooghe M.Codish
Talks about:
constraint (2) abstract (2) interpret (1) blueprint (1) freeness (1) program (1) presenc (1) practic (1) generat (1) automat (1)
Person: Veroniek Dumortier
DBLP: Dumortier:Veroniek
Contributed to:
Wrote 4 papers:
- ILPS-1995-JanssensBD #abstract interpretation #automaton #constraints #logic programming #source code
- A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs (GJ, MB, VD), pp. 336–350.
- ICLP-1994-DumortierJ #towards
- Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.
- ICLP-1993-DumortierJBC #analysis #constraints
- Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.
- PLILP-1990-DumortierB #automation #generative #on the #prolog
- On the Automatic Generation of Events in Delta Prolog (VD, MB), pp. 324–339.