( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
User-Definable Resource Bounds Analysis for Logic Programs.

, , , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 348-363. Springer, (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.

Edison Hasibuan

Edison Thomaz

Edison Capp

Mera Kuse

Gabriela Mera

 

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

Towards execution time estimation in abstract machine-based languages., , , и . PPDP, стр. 174-184. ACM, (2008)An Overview of the Ciao System., , , , , , , и . RuleML Europe, том 6826 из Lecture Notes in Computer Science, стр. 2. Springer, (2011)Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling, , , , и . CoRR, (2007)User-Definable Resource Bounds Analysis for Logic Programs., , , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 348-363. Springer, (2007)Porting and refactoring Prolog programs: the PROSYN case study., и . Theory Pract. Log. Program., (2013)Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation., , , , и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 431-432. Springer, (2006)An overview of Ciao and its design philosophy., , , , , , и . Theory Pract. Log. Program., 12 (1-2): 219-252 (2012)Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs., , , и . PADL, том 6539 из Lecture Notes in Computer Science, стр. 38-53. Springer, (2011)Combining Static Analysis and Profiling for Estimating Execution Times., , , , и . PADL, том 4354 из Lecture Notes in Computer Science, стр. 140-154. Springer, (2007)An overview of Ciao and its design philosophy, , , , , , и . CoRR, (2011)