( en | de | ru )

 

Disambiguation of "Mera, Edison"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Gabriela Mera

Mera Kuse

 

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)User-Definable Resource Bounds Analysis for Logic Programs., , , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 348-363. Springer, (2007)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)An overview of Ciao and its design philosophy, , , , , , and . CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework., , and . ICLP, volume 5649 of Lecture Notes in Computer Science, page 281-295. Springer, (2009)Combining Static Analysis and Profiling for Estimating Execution Times., , , , and . PADL, volume 4354 of Lecture Notes in Computer Science, page 140-154. Springer, (2007)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)Un marco unificado para análisis de recursos y tiempo de ejecución, validación dinámica y pruebas unitarias = a Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing.. Technical University of Madrid, Spain, (2010)