An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.

Detalles Bibliográficos
Autores: Mera, E., Trigo, Teresa, López García, Pedro, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: informe técnico
Fecha de publicación:2010
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:14708
Acceso en línea:https://oa.upm.es/14708/
Access Level:acceso abierto
Palabra clave:Profiling
run-time checking
performance debugging
resource usage estimation/verification
logic programming
perfiles
verificación de tiempos
depuración del rendimiento
estimación/verificación del uso de los recursos
programación lógica.
id ES_7443175c8b29ec7dd6048e95d75945cd
oai_identifier_str oai:oa.upm.es:14708
network_acronym_str ES
network_name_str España
repository_id_str
spelling An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.Mera, E.Trigo, TeresaLópez García, PedroHermenegildo, Manuel V.|||0000-0002-7583-323XProfilingrun-time checkingperformance debuggingresource usage estimation/verificationlogic programmingperfilesverificación de tiemposdepuración del rendimientoestimación/verificación del uso de los recursosprogramación lógica.20102010-03-01technical reporthttp://purl.org/coar/resource_type/c_18ghinfo:eu-repo/semantics/reporthttps://oa.upm.es/14708/reponame:Archivo Digital UPMinstname:Universidad Politécnica de MadridInglésenopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:oa.upm.es:147082026-06-21T12:45:07Z
dc.title.none.fl_str_mv An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
title An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
spellingShingle An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
Mera, E.
Profiling
run-time checking
performance debugging
resource usage estimation/verification
logic programming
perfiles
verificación de tiempos
depuración del rendimiento
estimación/verificación del uso de los recursos
programación lógica.
title_short An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
title_full An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
title_fullStr An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
title_full_unstemmed An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
title_sort An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
dc.creator.none.fl_str_mv Mera, E.
Trigo, Teresa
López García, Pedro
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author Mera, E.
author_facet Mera, E.
Trigo, Teresa
López García, Pedro
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author_role author
author2 Trigo, Teresa
López García, Pedro
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author2_role author
author
author
dc.subject.none.fl_str_mv Profiling
run-time checking
performance debugging
resource usage estimation/verification
logic programming
perfiles
verificación de tiempos
depuración del rendimiento
estimación/verificación del uso de los recursos
programación lógica.
topic Profiling
run-time checking
performance debugging
resource usage estimation/verification
logic programming
perfiles
verificación de tiempos
depuración del rendimiento
estimación/verificación del uso de los recursos
programación lógica.
publishDate 2010
dc.date.none.fl_str_mv 2010
2010-03-01
dc.type.none.fl_str_mv technical report
http://purl.org/coar/resource_type/c_18gh
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://oa.upm.es/14708/
url https://oa.upm.es/14708/
dc.language.none.fl_str_mv Inglés
en
language_invalid_str_mv Inglés
en
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Archivo Digital UPM
instname:Universidad Politécnica de Madrid
instname_str Universidad Politécnica de Madrid
reponame_str Archivo Digital UPM
collection Archivo Digital UPM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869410882498330624
score 15.812429

Similares en LA Referencia