( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

, , и . PADL, том 5418 из Lecture Notes in Computer Science, стр. 224-238. Springer, (2009)

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 Adams

V Fendrich

 

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

A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 154-168. Springer, (2007)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)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)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , и . LPAR, том 4246 из Lecture Notes in Computer Science, стр. 392-406. Springer, (2006)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , и . CP, том 1520 из Lecture Notes in Computer Science, стр. 472. Springer, (1998)Towards Independent And-Parallelism in CLP., , и . PLILP, том 1140 из Lecture Notes in Computer Science, стр. 77-91. Springer, (1996)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)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , и . The Logic Programming Paradigm, Springer, (1999)