Citation notice #9697 · 2026-08-11 12:17:58.845775+00:00

Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis

Correction Crossref Open

cites Lopez-Garcia, M, which carries a correction notice dated 2020-11-11. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 66

P. Lopez-Garcia, M. Klemen, U. Liqat, and M.V. Hermenegildo. 2016. A General Framework for Static Profiling of Parametric Resource Usage. InICLP. doi:10.1017/S1471068416000442

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1017/s1471068416000442
Notice DOI: 10.1017/s1471068420000447
Date: 2020-11-11
Title: A general framework for static profiling of parametric resource usage – CORRIGENDUM
Reasons: ['Correction']
Work: Lopez-Garcia, M (2016)

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.