Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-24T23:49:34.727Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  11 November 2020

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:
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

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Corrigendum
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), 849865. doi: 10.1017/S1471068416000442 CrossRefGoogle Scholar