BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
1 × Spain
3 × USA
Collaborated with:
P.López-García M.V.Hermenegildo M.Carro G.Puebla T.Trigo J.A.Navas
Talks about:
time (5) program (3) analysi (3) profil (3) execut (3) logic (3) estim (3) static (2) combin (2) check (2)

Person: Edison Mera

DBLP DBLP: Mera:Edison

Contributed to:

PADL 20112011
ICLP 20092009
PPDP 20082008
ICLP 20072007
PADL 20072007
ICLP 20062006

Wrote 6 papers:

PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
ICLP-2009-MeraLH #framework #runtime #testing #verification
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.
PPDP-2008-MeraLCH #automaton #estimation #execution #towards
Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
ICLP-2007-NavasMLH #analysis #bound #logic programming #source code
User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.
PADL-2007-MeraLPCH #execution #profiling #static analysis
Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.