( en | de | ru )

 

Disambiguation of "Mulkers, Anne"

Author of the publication

copydeleteadd this publication to your clipboard
On the Practicality of Abstract Equation Systems.

, , , and . ICLP, page 781-795. MIT Press, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dieter Annemaier

Marianne Annen

Karl Heinz Annecke

Helmut Annen

Johanna Anneser

 

Other publications of authors with the same name

The Interaction Between BIM-Prolog and Relational Databases., and . Prolog and Databases, Ellis Horwood Ltd, (1988)Live-Structure Dataflow Analysis for Prolog., , and . ACM Trans. Program. Lang. Syst., 16 (2): 205-258 (1994)The Impact of Abstract Interpretation: An Experiment in Code Generation., , , and . ICLP, page 33-47. MIT Press, (1989)Analysis of Shared Data Structures for Compile-Time Garbage., , and . ICLP, page 747-762. MIT Press, (1990)Improving Abstract Interpretations by Combining Domains., , , , and . PEPM, page 194-205. ACM, (1993)Improving Abstract Interpretations by Combining Domains., , , , and . ACM Trans. Program. Lang. Syst., 17 (1): 28-44 (1995)Abstracting Unification: A Key Step in the Design of Logic Program Analyses., , and . Computer Science Today, volume 1000 of Lecture Notes in Computer Science, Springer, (1995)On the Practicality of Abstract Equation Systems., , , and . ICLP, page 781-795. MIT Press, (1995)Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables., , and . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation. Lecture Notes in Computer Science Springer, (1993)