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.

 

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

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, , и . CoRR, (2000)CAT: The Copying Approach to Tabling, и . J. Funct. Log. Program., (1999)ProFuN TG: A tool for programming and managing performance-aware sensor network applications., , , и . LCN Workshops, стр. 751-759. IEEE Computer Society, (2015)Memory Management for Prolog with Tabling., и . ISMM, стр. 97-106. ACM, (1998)Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens., , и . FMCAD, стр. 284-293. IEEE, (2022)Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory., , , , и . HPDC, стр. 3-14. ACM, (2015)Detection of Asynchronous Message Passing Errors Using Static Analysis., и . PADL, том 6539 из Lecture Notes in Computer Science, стр. 5-18. Springer, (2011)Efficiently compiling a functional language on AMD64: the HiPE experience., , и . PPDP, стр. 176-186. ACM, (2005)The Nifty way to call hell from heaven., и . Erlang Workshop, стр. 1-11. ACM, (2016)Message Analysis for Concurrent Languages., , и . SAS, том 2694 из Lecture Notes in Computer Science, стр. 73-90. Springer, (2003)