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: Mulkers:Anne
Contributed to:
1996
1995
19931990Wrote 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.