Edison Mera

According to our database, Edison Mera authored at least 11 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Porting and refactoring Prolog programs: the PROSYN case study.

Edison Mera, Jan Wielemaker

Theory Pract. Log. Program., 2013

2012

An overview of Ciao and its design philosophy.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla

Theory Pract. Log. Program., 2012

2011

An Overview of the Ciao System.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.

Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2011

2010

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.

Edison Fernando Mera Menéndez

PhD thesis, 2010

2009

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.

Edison Mera, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Towards execution time estimation in abstract machine-based languages.

Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

CoRR, 2007

Combining Static Analysis and Profiling for Estimating Execution Times.

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

User-Definable Resource Bounds Analysis for Logic Programs.

Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 22nd International Conference, 2006