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.
Descripción
Descripción no disponible.