Anne Mulkers

According to our database, Anne Mulkers authored at least 10 papers between 1988 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.

Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

Improving Abstract Interpretations by Combining Domains.

Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo

ACM Trans. Program. Lang. Syst., 1995

On the Practicality of Abstract Equation Systems.

Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe

Proceedings of the Logic Programming, 1995

Abstracting Unification: A Key Step in the Design of Logic Program Analyses.

Maurice Bruynooghe, Michael Codish, Anne Mulkers

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Live-Structure Dataflow Analysis for Prolog.

Anne Mulkers, William H. Winsborough, Maurice Bruynooghe

ACM Trans. Program. Lang. Syst., 1994

Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables.

Maurice Bruynooghe, Michael Codish, Anne Mulkers

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation

Anne Mulkers

Lecture Notes in Computer Science 675, Springer, ISBN: 3-540-56694-5, 1993

1990

Analysis of Shared Data Structures for Compile-Time Garbage.

Anne Mulkers, William H. Winsborough, Maurice Bruynooghe

Proceedings of the Logic Programming, 1990

1989

The Impact of Abstract Interpretation: An Experiment in Code Generation.

André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe

Proceedings of the Logic Programming, 1989

1988

The Interaction Between BIM-Prolog and Relational Databases.

Raf Venken, Anne Mulkers

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988