Anne Mulkers

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS (1996)
Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe
On the Practicality of Abstract Equation Systems. ICLP (1995)
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
Improving Abstract Interpretations by Combining Domains. ACM Trans. Program. Lang. Syst. 17 (1) (1995)
Maurice Bruynooghe, Michael Codish, Anne Mulkers
Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
Live-Structure Dataflow Analysis for Prolog. ACM Trans. Program. Lang. Syst. 16 (2) (1994)
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
Improving Abstract Interpretations by Combining Domains. PEPM (1993)
Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
Analysis of Shared Data Structures for Compile-Time Garbage. ICLP (1990)
André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe
The Impact of Abstract Interpretation: An Experiment in Code Generation. ICLP (1989)