Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T11:13:10.101937Z
Paper Citation Record · LEDGER
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis
As of 12 August 2026, this Paper Citation Record lists 90 of 90 outbound references and 0 inbound Pith citation observations for arXiv:2608.09769.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
90 of 90 outbound references displayed
- verified exact43
- verified fuzzy0
- unresolved43
- parse uncertain0
- malformed identifier1
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e65e5be3-d7e6-46ab-a4c5-f539bc87e6b6 · outbound
This paper cites Albert, P.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Albert, P
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.337086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c8d0ae7f-833b-426e-8317-c6dccb1781e4 · outbound
This paper cites Amadio and Pierre-Louis Curien.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Amadio and Pierre-Louis Curien
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.318332Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 035cbc31-e50d-418c-9f6f-97212055ad3a · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.299824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2e41b160-a867-4f7b-9e11-fec43544f4f6 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.582434Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3da7bf27-c7b1-49f4-b249-2ad157946359 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.595711Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97d9f3cb-639f-4f3b-a03b-585c7fe8b5c7 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.604017Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a869390c-7856-4bb6-93a1-74fa79aaee50 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.271012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation edeaa649-1489-44b6-b245-9ebbd0433497 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.255460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ad27548f-ad80-4cf8-ab64-1df239305b6a · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.628752Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c27092a-ce07-4bba-b168-e508f0ca60aa · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 10
- Resolution
- verified exact
- raw_fallback, observed 2026-08-11T11:13:12.854944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 95749046-61ec-41d3-b9a3-69797c808937 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.641519Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 58283b04-136c-48af-9a9f-d95845db988a · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.226393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e7de7321-21c9-4e6a-9f3f-6abdf01f6ab7 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.207641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1a785582-0087-4f01-aa3d-d410a0d3347c · outbound
This paper cites 2021.Principles of Abstract Interpretation.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis 2021.Principles of Abstract Interpretation
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.660476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f78ee84c-1112-4e67-a31e-400ba639deb4 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.666756Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81316a0b-e573-4cd4-9f02-77e09c88709b · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.674590Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 077fd1ac-0e72-444f-bf48-f135f3430e78 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.683447Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 010f3c2b-6ab4-401a-a78b-fd6a9037a9f1 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 18
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-11T11:13:12.400706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 464d2f6a-59b5-4f82-aa6f-8539552253b9 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.696644Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6cb2b262-60a8-409f-a317-e8170d7dbbf6 · outbound
This paper cites Gallagher, Manuel V.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Gallagher, Manuel V
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.703406Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d16ce52-6e6a-4482-84f7-e65767b4d215 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.162771Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3609bc1c-92bb-4521-8a93-e7da2819dd4a · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.146197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3ad46659-1334-47f2-b868-6dbc4d0b4eba · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.718956Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d6441ca-b627-4ac1-96ca-204eed0b6184 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 24
- Resolution
- verified exact
- raw_fallback, observed 2026-08-11T11:13:12.212334Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9ec49394-6f9e-46e1-9d7e-87ca5b4d7028 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.125868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 07ac97c2-7dd4-4c31-ac35-259fc03fa2ae · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.106553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4b5caa74-382e-4d96-9bb7-85b711d8163a · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.086275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b7a9e97b-71e7-4f07-8a81-5088887d8206 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.749399Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 014cb900-10ef-4bb9-a104-d1d7ca7ece8e · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.066712Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 536abcf8-c357-486b-9aab-f349dfd0d056 · outbound
This paper cites 2017.Cost Analysis of Programs Based on the Refinement of Cost Relations.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis 2017.Cost Analysis of Programs Based on the Refinement of Cost Relations
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.048935Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e1127f49-7868-4221-90cf-cbd9a247c06b · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 31
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-11T11:13:12.025066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0c9cec0a-c33c-4b32-8671-ff3f2447fcd6 · outbound
This paper cites Gallagher.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Gallagher
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.022574Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7d17286d-1b24-4dd3-95ca-0fdd2b462745 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:11.001599Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 444220d2-39ab-430f-9520-b6b4a1a7fdec · outbound
This paper cites Goharshady, S.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Goharshady, S
Reference 34
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.980387Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 549d8627-b7c9-409d-a0ea-0acfe507f34f · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.788779Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 10b79726-26d4-400c-9783-7f5ad9e2c260 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.794371Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0cc0d21d-6ffc-42bd-a2d4-29c26f5af676 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.800486Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed039196-3b56-4eeb-985d-b8f025589699 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.807192Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7346378-b8d5-4dfe-af8e-668069dcc245 · outbound
This paper cites Hermenegildo, G.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Hermenegildo, G
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.813336Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75a162fb-0bf4-4083-9db7-38b51c65c497 · outbound
This paper cites Hermenegildo, R.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Hermenegildo, R
Reference 40
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.919481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 01273385-2a20-4925-ac7a-3414a32bca59 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 41
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.900306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4306aed9-79a9-4429-ad80-42935b9e4063 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.869361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b5d7d210-7521-4de1-8ebd-5c19ea7612aa · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.838856Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc26a51c-9108-4a8d-bc74-70bcc243ee86 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 45
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.824121Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 59ff5e07-9475-43ef-b4c8-8055bab04045 · outbound
This paper cites 2016.Introduction to Coalgebra: Towards Mathematics of States and Observation.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis 2016.Introduction to Coalgebra: Towards Mathematics of States and Observation
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.853712Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 85c68594-a00f-4808-bfae-11371278c1de · outbound
This paper cites Abstract Compilation for Verification of Numerical Accuracy Properties.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Abstract Compilation for Verification of Numerical Accuracy Properties
Reference 47
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T11:13:11.853086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 494b83ea-5b95-448c-bd66-3b74850a0cb9 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.864093Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0d9a4ad3-dd0e-4070-9694-07758d788e51 · outbound
This paper cites Gallagher, Manuel V.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Gallagher, Manuel V
Reference 49
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.772652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 10a8cada-afac-4601-b903-c5dbfb4b8c07 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.885095Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 372da0a7-e493-4378-bf23-a0bb0618ef1d · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.891200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f0575b9f-d261-46eb-8563-0f47c914d44f · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.731699Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 80666e0c-deb0-4da6-a890-abe57efd7e29 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.709263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cc6416e2-76b0-412d-97d2-c0c7e6bc6f0e · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.909771Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 377ec451-8ef5-46bf-937b-776e62371a55 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 55
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.664040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cc8a33e4-c006-40b1-8711-cc4e167dd1cd · outbound
This paper cites 2007.Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis 2007.Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.921584Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82219099-cdf6-48f6-96c1-ba57e6137f2e · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 57
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.630851Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ca112550-dd52-4b19-8c84-4b572c5723b5 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.932816Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55edafa1-a8bc-4c15-a486-85654e30bf12 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.938195Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation edb0435d-d8dd-4ac9-b3eb-5fbc583c2607 · outbound
This paper cites Le Metayer.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Le Metayer
Reference 60
- Resolution
- verified exact
- raw_fallback, observed 2026-08-11T11:13:11.756376Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6ad163b6-fe6a-41de-b08d-b19e2585070c · outbound
This paper cites Lehmann and Michael B.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Lehmann and Michael B
Reference 61
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.577548Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 02edd39f-f371-4093-acaf-a9dc6c3f98a5 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.954088Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3ad1db0-7839-4555-a9cf-059ed5f7c2ad · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.960947Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43e58be4-0cb8-4966-ac52-64aac38cdea3 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.965636Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4bd17d1-bf09-4792-80de-f5a09582ce87 · outbound
This paper cites Lopez-Garcia, L.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Lopez-Garcia, L
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.970743Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3d816c4-005c-45f6-b80b-cc5233034fe1 · outbound
This paper cites Lopez-Garcia, M.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Lopez-Garcia, M
Reference 66
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.486341Z
Source-reported events for the cited work
correction dated 2020-11-11. Source: crossref record 10.1017/s1471068420000447->10.1017/s1471068416000442:correction, observed 2026-07-11T03:06:20.16179+00:00. This notice travels one citation hop only.
Observation 6ad6bbd3-409d-4e27-bf61-a8b941e764bb · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 67
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.467392Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 52419424-d33f-409b-9bbf-c09add43073e · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.985308Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1e49caa8-63d3-4faf-91c0-a6caa899ec29 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.990012Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b3cb62d-ebdb-4402-9245-d53d01c68a36 · outbound
This paper cites Navas, E.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Navas, E
Reference 70
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.413402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 60956b51-1076-4ca6-8b24-52025dc46f3f · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.999547Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 35f1464d-e15a-48f8-a4b2-30fabf10b298 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 72
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.385401Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 60bce471-c297-4720-8f17-535c460552da · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.010851Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f404842d-667f-4915-997c-6b8c1d317d99 · outbound
This paper cites Puebla, E.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Puebla, E
Reference 74
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.351803Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 135c77c8-5501-4f4d-ad38-087efdde16bf · outbound
This paper cites Puebla and M.V.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Puebla and M.V
Reference 75
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-11T11:13:11.663614Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 153c35b6-343b-4124-bd01-8312fca19129 · outbound
This paper cites Rosendahl.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Rosendahl
Reference 76
- Resolution
- verified exact
- raw_fallback, observed 2026-08-11T11:13:11.574584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7e76de74-d30d-4797-b01c-e31f03b77f4c · outbound
This paper cites Rossignoli and F.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Rossignoli and F
Reference 77
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.323032Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e7134876-d64e-4ceb-bcc8-1e5688af425d · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 78
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.293760Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9b900b6b-ac4c-483c-aa08-68f781e1535d · outbound
This paper cites Hermenegildo.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Hermenegildo
Reference 79
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.042926Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81fd38ff-3374-4839-9a23-b8432ae12b61 · outbound
This paper cites Morales, and Manuel V.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Morales, and Manuel V
Reference 80
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-11T11:13:10.048792Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d93c742-4254-45cb-9d96-799ef1db457f · outbound
This paper cites A Coalgebraic Dijkstra Algorithm.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis A Coalgebraic Dijkstra Algorithm
Reference 81
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T11:13:11.476042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ac144035-5eed-4932-bc21-39f45217c0d4 · outbound
This paper cites Serrano, P.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Serrano, P
Reference 82
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.258805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8f66871d-2ffc-4b51-82cf-cbd4c1753a6a · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 83
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.065592Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8e0ee10-d121-4d3b-8098-d3438a36f88c · outbound
This paper cites Steffen, C.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Steffen, C
Reference 84
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.212816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 49a98640-4e78-47d0-aed3-644c8010cabd · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.078650Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c4d0da5c-132a-4367-b7be-7f0e9e2f1b82 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.083534Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2cf7c836-b4d5-403f-bcd3-af2530a585be · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 87
- Resolution
- verified exact
- doi, observed 2026-08-11T11:13:10.171994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7be42512-ceb6-4ac7-8ef6-ead66ab3aae1 · outbound
This paper cites Hermenegildo.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Hermenegildo
Reference 88
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.094930Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3a637abe-0bff-4991-b0a1-be05c6344693 · outbound
This paper cites category without axioms.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis category without axioms
Reference 89
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:10.101937Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21e26ede-88d0-4bf9-be82-106a64dcb315 · outbound
This paper cites ACM Program.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis ACM Program
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.870095Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74b401a4-7fc1-4d4b-a744-ba66272fce11 · outbound
This paper cites an unresolved cited work.
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis Unresolved cited work
Reference 2022
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T11:13:09.588279Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.