( en | de | ru )

 

Disambiguierung von "Mulkers, Anne"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Practicality of Abstract Equation Systems.

, , , und . ICLP, Seite 781-795. MIT Press, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karl Heinz Annecke

Helmut Annen

Johanna Anneser

Jan Peter Annecke

Dieter Annemaier

 

Weitere Publikationen von Autoren mit dem selben Namen

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