Reference change · event page

Lopez-Garcia, M

Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.

This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.

Correction Crossref 1 open · 1 total · 0 disputed

DOI: 10.1017/s1471068416000442
Notice DOI: 10.1017/s1471068420000447
Event date: 2020-11-11
Machine twin: JSON

01One-hop citing occurrences

Correction Open

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

ref [66] · 2608.09769 · notice #9697 · dispute

Raw extraction · bibliography line

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

Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.