( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An overview of Ciao and its design philosophy

, , , , , , и . CoRR, (2011)

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 Wittwer

V Ustinov

V Fendrich

 

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

The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism.. AIFIPP, том A-27 из IFIP Transactions, стр. 207-221. North-Holland, (1992)Abstraction-Carrying Code: a Model for Mobile Code Safety., , и . New Generation Comput., 26 (2): 171-204 (2008)On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs., , , , , , и . AADEBUG, том 2 из Linköping Electronic Articles in Computer and Information Science, стр. 155-169. Linköping University Electronic Press, (1997)Designing a high performance parallel logic programming system., и . SIGARCH Comput. Archit. News, 15 (1): 43-52 (1987)Towards Energy Consumption Verification via Static Analysis., , , , и . CoRR, (2015)A study of set-sharing analysis via cliques., , и . CoRR, (2005)Global Analysis of Standard Prolog Programs., , , и . ESOP, том 1058 из Lecture Notes in Computer Science, стр. 108-124. Springer, (1996)Abstract Interpretation-Based Mobile Code Certification., , и . ICLP, том 3132 из Lecture Notes in Computer Science, стр. 446-447. Springer, (2004)Efficient Top-Down Set-Sharing Analysis Using Cliques., , и . PADL, том 3819 из Lecture Notes in Computer Science, стр. 183-198. Springer, (2006)Precise Set Sharing Analysis for Java-Style Programs., и . VMCAI, том 4905 из Lecture Notes in Computer Science, стр. 172-187. Springer, (2008)