( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.

, , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 138-153. Springer, (2007)

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 Geoffroy

V Saile

V Fendrich

V Adams

V Ustinov

 

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

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)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , и . APPIA-GULP-PRODE, стр. 105-110. (1996)Efficient Term Size Computation for Granularity Control., и . ICLP, стр. 647-661. MIT Press, (1995)Non-Failure Analysis for Logic Programs., , и . ICLP, стр. 48-62. MIT Press, (1997)Efficient Management of Backtracking in AND-Parallelism., и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 40-54. Springer, (1986)Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction., , и . ASIAN, том 3321 из Lecture Notes in Computer Science, стр. 93-108. Springer, (2004)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 154-168. Springer, (2007)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)