Edison Mera

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Object Oriented Systems

Massively Parallel

Development Process

Prolog Programs

Top Venues

Theory Pract. Log. Program.

Publications

Edison Mera, Jan Wielemaker
Porting and refactoring Prolog programs: the PROSYN case study. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12 (1-2) (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Edison Mera, Pedro López-García, Manuel V. Hermenegildo
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP (2009)
Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
Towards execution time estimation in abstract machine-based languages. PPDP (2008)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR (2007)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Combining Static Analysis and Profiling for Estimating Execution Times. PADL (2007)
Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
User-Definable Resource Bounds Analysis for Logic Programs. ICLP (2007)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP (2006)