( en | de | ru )

 

Disambiguation of "Mera, Edison"

Author of the publication

copydeleteadd this publication to your clipboard
An overview of Ciao and its design philosophy

, , , , , , and . CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.

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

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 in abstract machine-based languages., , , and . PPDP, page 174-184. ACM, (2008)User-Definable Resource Bounds Analysis for Logic Programs., , , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 348-363. 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)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)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)