Using combined static analysis and profiling for logic program execution time estimation

Mera, E. and López García, Pedro and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2006). Using combined static analysis and profiling for logic program execution time estimation. In: "22nd International Conference, ICLP 2006", August 17-20, 2006, Seattle, WA, USA. ISBN 978-3-540-36635-5.

Description

Title: Using combined static analysis and profiling for logic program execution time estimation
Author/s:
  • Mera, E.
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 22nd International Conference, ICLP 2006
Event Dates: August 17-20, 2006
Event Location: Seattle, WA, USA
Title of Book: Logic Programming
Date: 2006
ISBN: 978-3-540-36635-5
Volume: 4079
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (584kB) | Preview

Abstract

Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints. A starting point in order to attack this problem is to infer the computational complexity of such programs (or fragments thereof). This is one of the reasons why the development of static analysis techniques for inferring cost-related properties of programs (usually upper and/or lower bounds of actual costs) has received considerable attention.

More information

Item ID: 14346
DC Identifier: http://oa.upm.es/14346/
OAI Identifier: oai:oa.upm.es:14346
Official URL: http://link.springer.com/chapter/10.1007%2F11799573_36?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Jan 2013 14:31
Last Modified: 21 Apr 2016 13:58
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM