Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-26T19:41:40.408Z Has data issue: false hasContentIssue false
  • English
  • Français

A general framework for static profiling of parametric resource usage – CORRIGENDUM

Published online by Cambridge University Press:  11 November 2020

P. LOPEZ-GARCIA ,
M. KLEMEN ,
U. LIQAT  and
M. V. HERMENEGILDO
P. LOPEZ-GARCIA
Affiliation:
IMDEA Software Institute (e-mails: [email protected]; [email protected]; [email protected]; [email protected]) Spanish Council for Scientific Research (CSIC)
M. KLEMEN
Affiliation:
IMDEA Software Institute (e-mails: [email protected]; [email protected]; [email protected]; [email protected]) Universidad Politécnica de Madrid (UPM)
U. LIQAT
Affiliation:
IMDEA Software Institute (e-mails: [email protected]; [email protected]; [email protected]; [email protected])
M. V. HERMENEGILDO
Affiliation:
IMDEA Software Institute (e-mails: [email protected]; [email protected]; [email protected]; [email protected]) Universidad Politécnica de Madrid (UPM)
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Corrigendum
Information
Theory and Practice of Logic Programming , Volume 21 , Issue 2 , March 2021 , pp. 291
Check for updates
Copyright
© The Author(s), 2020. Published by Cambridge University Press

Footnotes

In the above-mentioned article (Lopez-Garcia et al. 2016) an affiliation was missing for Maximiliano Klemen. The correct author details should have been

References

Lopez-Garcia, P., Klemen, M., Liqat, U., and Hermenegildo, M. 2016. A general framework for static profiling of parametric resource usage. Theory and Practice of Logic Programming, 16(5–6), 849–865. doi: 10.1017/S1471068416000442 CrossRefGoogle Scholar