From post

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.

 

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

Preface., , , и . Fundam. Informaticae, (2020)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)Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types., , и . CoRR, (2014)Heap analysis in the presence of collection libraries., , , и . PASTE, стр. 31-36. ACM, (2007)Analyzing Logic Programs with Dynamic Scheduling., , и . POPL, стр. 240-253. ACM Press, (1994)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)