Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T19:07:36.521935Z
Paper Citation Record · LEDGER
Calculational Design of Hyperlogics by Abstract Interpretation
As of 20 August 2026, this Paper Citation Record lists 87 of 87 outbound references and 0 inbound Pith citation observations for arXiv:2411.11113.
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-20T06:33:59.587034+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
87 of 87 outbound references displayed
- verified exact31
- verified fuzzy1
- unresolved49
- parse uncertain0
- malformed identifier4
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 02f262c5-efe1-4116-aa89-76d81ee2f388 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.158833Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e676c8d-82e8-4c74-80cb-7e1952b71a63 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.164455Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e9ddad8-5e30-49bb-a67c-1daf0554a088 · outbound
This paper cites Naumann, and Minh Ngo.
Calculational Design of Hyperlogics by Abstract Interpretation Naumann, and Minh Ngo
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.168845Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 86a50240-31f2-4b46-ad1d-165f9d036ba9 · outbound
This paper cites Apt and Gordon D.
Calculational Design of Hyperlogics by Abstract Interpretation Apt and Gordon D
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.177315Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 07ba2718-62fc-455e-a054-a23c8af7a9d4 · outbound
This paper cites Naumann, Julien Signoles, Eric Totel, and Frédéric Tronel.
Calculational Design of Hyperlogics by Abstract Interpretation Naumann, Julien Signoles, Eric Totel, and Frédéric Tronel
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.181794Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e182bce-5ff6-42f6-8684-0805a26d2568 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.185987Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b985b12-ff21-4e4a-9091-a8d431d6f360 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.190884Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d97327cf-d514-42d9-8143-3a89d95fb524 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.195405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e35d270e-71cf-4918-b65b-933a8f194c63 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:37.116360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cade51f8-902f-4e83-a835-79a407da29f1 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.203879Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0c48aa4a-d1b9-49f1-9fd3-620f74bcb4be · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.207826Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80524679-af3e-4f15-9325-1bcd4957fa54 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 12
- Resolution
- verified exact
- raw_fallback, observed 2026-08-12T19:07:38.330637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 08c9fffb-c796-4faf-a2cc-8bfdadfbf02b · outbound
This paper cites Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K.
Calculational Design of Hyperlogics by Abstract Interpretation Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.215876Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f646f33-2719-447f-beae-4461da975b61 · outbound
This paper cites Clarkson and Fred B.
Calculational Design of Hyperlogics by Abstract Interpretation Clarkson and Fred B
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.224420Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 16371ec9-7f72-4896-a888-bd70b64554ba · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.228389Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b7dc87e-4b29-4453-907d-cbb17e1e49ac · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 16
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T19:07:38.263132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2b399f88-d25b-4fd0-a4b5-a34cbcf038ac · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:37.069274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8e772b1d-e996-4cad-888e-b5f108a25b69 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:37.055837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 923115d5-6eb1-428e-862e-e3fa6f82a5cd · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:37.042495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ca838937-3010-4e92-b1e9-44709e77a1ec · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.248679Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dfd5c4c8-60d9-42e2-9a32-04eaea76bfc2 · outbound
This paper cites Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.
Calculational Design of Hyperlogics by Abstract Interpretation Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.256792Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9dfe23c-6a54-41b2-ba36-b16157c72db3 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 23
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:37.020054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation eba1172a-3f20-4ef0-a5f6-cf64271ba86c · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.265141Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 283b95ea-4b4e-4cf3-83cc-0272200c2171 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:37.006514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bdca0840-fe60-4e9b-b21c-06801f0ed66a · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.992567Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 52c4fec7-7c9b-4dc6-a130-19be84336a7c · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.277260Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ffc1b85-93f2-4123-9560-f063efdd8433 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.281239Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 935983be-f341-429c-bafb-d5993af3cbca · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.285112Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aba14621-ddd1-410e-9c89-9e83f6ca832e · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.289133Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a1c1f62b-d379-4e5a-9f00-531abf12e31d · outbound
This paper cites Davey and Hilary A.
Calculational Design of Hyperlogics by Abstract Interpretation Davey and Hilary A
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.293109Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f14910ec-7d14-4a0b-b623-5189f06edd70 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.962545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ae2f0733-cff1-44e3-a61c-b425b4c0de83 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.948463Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f93cfc4f-82c0-4f43-a1d2-346f39f4f9d7 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 34
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.934893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bf26a26e-14e2-477f-9c6f-25e76b1b3bb5 · outbound
This paper cites Zhang, and Benjamin Delaware.
Calculational Design of Hyperlogics by Abstract Interpretation Zhang, and Benjamin Delaware
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.309839Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 881cff38-8a69-462c-9a45-f5126dd3ed2f · outbound
This paper cites Dijkstra.
Calculational Design of Hyperlogics by Abstract Interpretation Dijkstra
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.911641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 47dab979-b159-4169-9383-1a90c2c3c404 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 37
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-12T19:07:36.898057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3216b925-8b5f-4cbc-be32-9860e9a0bb29 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.322180Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7b9e4f0-c9d4-4c50-89d0-19147d59a5b0 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.326099Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f3425cb-21ad-4596-aa3f-a0c7d5c79d27 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 40
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.883912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 771a5729-ff8e-41c5-9dec-f19660c5adbc · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 41
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.870095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f179ef55-9099-4c82-a69f-77f96d987da2 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.856775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fbe75d9f-f5e6-4af2-97d6-b106a7426678 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.343028Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 84cd460d-7115-4059-b48e-9a765e58d959 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.833958Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fe5e3e51-7e4f-441a-9662-0ce386048448 · outbound
This paper cites Goguen and Grant Malcolm.
Calculational Design of Hyperlogics by Abstract Interpretation Goguen and Grant Malcolm
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.352053Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 418583f0-483f-4dc8-8e8f-860f5f2577b1 · outbound
This paper cites Goguen and José Meseguer.
Calculational Design of Hyperlogics by Abstract Interpretation Goguen and José Meseguer
Reference 46
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.820511Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation dee57eff-968d-4f30-8da7-0b4062af41d5 · outbound
This paper cites Goguen and José Meseguer.
Calculational Design of Hyperlogics by Abstract Interpretation Goguen and José Meseguer
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.360068Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91d2be77-9fde-4424-8e06-3c9a8a2184e2 · outbound
This paper cites Goguen and José Meseguer.
Calculational Design of Hyperlogics by Abstract Interpretation Goguen and José Meseguer
Reference 48
- Resolution
- verified exact
- raw_fallback, observed 2026-08-12T19:07:37.872333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0721df5b-4d37-440a-8389-77d943010934 · outbound
This paper cites Goguen, James W.
Calculational Design of Hyperlogics by Abstract Interpretation Goguen, James W
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.368437Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0971fb18-70c8-4c73-be41-38047b428647 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 50
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.807276Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 92ccb4bd-5097-435e-9915-b418ce8054da · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 51
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.793562Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation feba23c9-13ba-4515-a242-fb5402b61019 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.780157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation dbb2c0cf-58e5-4f16-b0b7-5734a5e63620 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.764662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d086891f-3cae-4d11-b80c-266900c7b3be · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 54
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.751535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cfcd1b5c-f446-4ea9-aa9c-1799d283f11d · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.392867Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb37d90a-054f-44eb-a4e3-4c98f07e3dd5 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.396998Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e8c1220d-e885-406c-af3d-5695b6987057 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 57
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.738130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a92e484e-7ace-427e-a74e-4ed41bd82fea · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 58
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.724722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation eb8dbc0c-543c-4999-b436-df06e4da2c61 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 59
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.711739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6e8db60b-ef14-4dfd-8231-d56b17769ef4 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 60
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T19:07:37.600416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 99014de5-51ce-4b67-9b92-439c46682fa7 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.417655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d1bd53e-8e50-4cc2-bc1e-00fb50f60ac2 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.421795Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98ed2d93-651b-4a49-8644-ba4b041ef4fd · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.425747Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19adb233-8014-4470-81b4-cdbac5b67ec9 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.430084Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52f65c96-37ff-4a9c-bfec-6029ceddb6f4 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.434337Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1d81e2c3-68cc-48e8-ae93-7c233e867237 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 66
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-12T19:07:36.438531Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b8adc3df-92b0-4ca9-847b-f0f864898ba6 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.442874Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1058a180-c03d-44c2-8f0e-90de34057693 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 68
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.665047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fe97bf64-92a0-4688-8528-defa66bb5e49 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.451032Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4c0c2230-eec6-4b83-97c4-7bfbca9bddc4 · outbound
This paper cites Possibilistic.
Calculational Design of Hyperlogics by Abstract Interpretation Possibilistic
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.455031Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a17b032-5305-43d9-b745-afe77db63041 · outbound
This paper cites O’Hearn, and Tony Hoare.
Calculational Design of Hyperlogics by Abstract Interpretation O’Hearn, and Tony Hoare
Reference 71
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-12T19:07:36.641794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ea0bc7b2-df06-4471-9687-699630898f40 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:07:38.618977Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1fafa32a-a626-4014-81fd-c6d23a3b1a7e · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:07:38.605574Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 21b1ff52-5fdf-4dc4-9866-8bcfc90e1f81 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:07:38.589918Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 62450064-1afd-4a09-a9eb-79f1fddf4175 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:07:38.576874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 561387f9-a938-4077-93bf-4cee1a45ee7b · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 76
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.628461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d2b14b21-d43b-4b18-97f0-32459a0f6007 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T19:07:38.563018Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0e7e704a-a8ca-4c53-aeaf-6ec11fa1ce5a · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 78
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-12T19:07:38.549557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6f814ea8-251e-409d-9ff8-5a18bd7223e5 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 79
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.615361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b485de42-f108-426b-a080-2c84e56807ec · outbound
This paper cites Scott and Christopher Strachey.
Calculational Design of Hyperlogics by Abstract Interpretation Scott and Christopher Strachey
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T19:07:38.536280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0a6d1e08-28b6-4fee-87b0-9be217546944 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.501127Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4af71d5-ae5a-410d-8d5c-a50db15a729f · outbound
This paper cites Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond.
Calculational Design of Hyperlogics by Abstract Interpretation Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond
Reference 82
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T19:07:36.593007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation abee2377-e40d-44c2-ae61-39ee65f91fd5 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 83
- Resolution
- verified exact
- doi, observed 2026-08-12T19:07:36.572798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation baef424f-704a-40e5-8d5e-d0564a6c3ac9 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 84
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.513781Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b5a47dd-cf62-403e-a46c-02ffcb20d041 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.517914Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3ca57f49-6c57-4190-ba19-774ea164f4c6 · outbound
This paper cites Gryffin: An algorithm for Bayesian optimization of categorical variables informed by expert knowledge.
Calculational Design of Hyperlogics by Abstract Interpretation Gryffin: An algorithm for Bayesian optimization of categorical variables informed by expert knowledge
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.521935Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7aa43343-3f71-45bc-8791-a8d19633ce3c · outbound
This paper cites In POST (Lecture Notes in Computer Science, Vol.
Calculational Design of Hyperlogics by Abstract Interpretation In POST (Lecture Notes in Computer Science, Vol
Reference 2014
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.220057Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6f1ea438-40b0-4cdb-9f24-0125d0643b74 · outbound
This paper cites an unresolved cited work.
Calculational Design of Hyperlogics by Abstract Interpretation Unresolved cited work
Reference 2023
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T19:07:36.173022Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.