( en | de | ru )

 

Disambiguation of "Mera, Edison"

Author of the publication

copydeleteadd this publication to your clipboard
User-Definable Resource Bounds Analysis for Logic Programs.

, , , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Edison Hasibuan

Edison Thomaz

Edison Capp

Mera Kuse

Gabriela Mera

 

Other publications of authors with the same name

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