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 × Denmark
1 × Germany
1 × Israel
1 × Japan
Collaborated with:
M.Bruynooghe W.H.Winsborough W.Simoens G.Janssens B.Demoen D.Boulanger M.Denecker M.Codish M.J.G.d.l.Banda M.V.Hermenegildo
Talks about:
interpret (2) abstract (2) analysi (2) share (2) structur (1) freeness (1) program (1) practic (1) system (1) improv (1)

Person: Anne Mulkers

DBLP DBLP: Mulkers:Anne

Contributed to:

SAS 19961996
ICLP 19951995
PEPM 19931993
ICLP 19901990

Wrote 4 papers:

SAS-1996-BruynoogheDBDM #analysis #logic programming #source code
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation (MB, BD, DB, MD, AM), pp. 128–142.
ICLP-1995-MulkersSJB #equation #on the
On the Practicality of Abstract Equation Systems (AM, WS, GJ, MB), pp. 781–795.
PEPM-1993-CodishMBBH #abstract interpretation
Improving Abstract Interpretations by Combining Domains (MC, AM, MB, MJGdlB, MVH), pp. 194–205.
CLP-1990-MulkersWB90 #analysis #data type
Analysis of Shared Data Structures for Compile-Time Garbage (AM, WHW, MB), pp. 747–762.

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.