( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Practicality of Abstract Equation Systems.

, , , и . ICLP, стр. 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.

Dieter Annemaier

Marianne Annen

Karl Heinz Annecke

Helmut Annen

Johanna Anneser

 

Другие публикации лиц с тем же именем

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