( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Heap analysis in the presence of collection libraries.

, , , и . PASTE, стр. 31-36. ACM, (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 Saile

V Geoffroy

V. Sivaraman

V Ustinov

V Adams

 

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

Efficient Management of Backtracking in AND-Parallelism., и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 40-54. Springer, (1986)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , и . The Logic Programming Paradigm, Springer, (1999)An Automatic Translation Scheme from Prolog to the Andorra Kernel Language., и . FGCS, стр. 759-769. IOS Press, (1992)Towards execution time estimation in abstract machine-based languages., , , и . PPDP, стр. 174-184. ACM, (2008)A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 795-800. Springer, (2008)Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations., , и . ICSOC, том 7084 из Lecture Notes in Computer Science, стр. 62-76. Springer, (2011)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library, и . CoRR, (2003)Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors., и . New Generation Comput., 7 (1): 37-58 (1989)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)