( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Interpretation with Specialized Definitions.

, , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2006)

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.

V Saile

V Geoffroy

V Ustinov

V Fendrich

V Adams

 

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

The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism., и . ICLP, стр. 221-236. MIT Press, (1990)Some Paradigms for Visualizing Parallel Execution of Logic Programs., , и . ICLP, стр. 184-200. MIT Press, (1993)Analyzing Logic Programs with Dynamic Scheduling., , и . POPL, стр. 240-253. ACM Press, (1994)Heap analysis in the presence of collection libraries., , , и . PASTE, стр. 31-36. ACM, (2007)A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems., , и . FLOPS, том 3945 из Lecture Notes in Computer Science, стр. 146-162. Springer, (2006)A Generic Processor for Program Validation and Debugging., , и . Analysis and Visualization Tools for Constraint Programming, том 1870 из Lecture Notes in Computer Science, стр. 63-107. Springer, (2000)Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.. Euro-Par, том 1300 из Lecture Notes in Computer Science, стр. 31-45. Springer, (1997)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , и . CP, том 1520 из Lecture Notes in Computer Science, стр. 472. Springer, (1998)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , и . LPAR, том 4246 из Lecture Notes in Computer Science, стр. 392-406. Springer, (2006)Towards Independent And-Parallelism in CLP., , и . PLILP, том 1140 из Lecture Notes in Computer Science, стр. 77-91. Springer, (1996)