Skip to content

Anne Mulkers

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

3

Active years

1989–1996

Best venue rank

B

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
1996SASA Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
1995ICLPOn the Practicality of Abstract Equation Systems.Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe
1994ICLPAbstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables.Maurice Bruynooghe, Michael Codish, Anne Mulkers
1993PEPMImproving Abstract Interpretations by Combining Domains.Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. Garca de la Banda, Manuel V. Hermenegildo
1990ICLPAnalysis of Shared Data Structures for Compile-Time Garbage.Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
1989ICLPThe Impact of Abstract Interpretation: An Experiment in Code Generation.Andr Marin, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe