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 × Japan
1 × United Kingdom
Collaborated with:
G.Janssens A.Mulkers M.Bruynooghe
Talks about:
abstract (2) system (2) constraint (1) interpret (1) implement (1) program (1) practic (1) logic (1) equat (1)

Person: Wim Simoens

DBLP DBLP: Simoens:Wim

Contributed to:

ICLP 19951995
CC 19941994

Wrote 2 papers:

ICLP-1995-MulkersSJB #equation #on the
On the Practicality of Abstract Equation Systems (AM, WS, GJ, MB), pp. 781–795.
CC-1994-JanssensS #abstract interpretation #constraints #implementation #logic programming #on the #source code
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs (GJ, WS), pp. 172–187.

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.