BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dumortier:Veroniek

Contributed to:

ILPS 19951995
ICLP 19941994
ICLP 19931993
PLILP 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.