{"as_of":"2026-08-12T21:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de09533cd777e794eb07c295356eea575e5e1625e98f6c2318618768401d6953","coverage":[{"denominator":90,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":90,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T11:13:10.101937Z","state":"measured"},{"denominator":90,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":90,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.09769/citation-record","integrity":"/paper/2608.09769/integrity","json":"/paper/2608.09769/citation-record.json","paper":"/paper/2608.09769"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-010-9174-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.330925Z","title":"Albert, P","venue":null,"work_id":"5c8739bf-762c-4f31-b32e-170ffc3652ee","year":2011},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.561335Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:279fabac0a922492d8a52d42e85a8459ea6b702df6e9093df7aa47fc8f62c152","observation_id":"e65e5be3-d7e6-46ab-a4c5-f539bc87e6b6","resolution":{"observed_at":"2026-08-11T11:13:11.337086Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/cbo9780511983504.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.312765Z","title":"Amadio and Pierre-Louis Curien","venue":null,"work_id":"949aa21f-33b4-4252-a70e-5d2ccb635564","year":1998},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.569496Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:fe3a15831d5ef05c4f5fc6e4452b6a4a2da7124a330d7fd7f633f8a1d5894f96","observation_id":"c8d0ae7f-833b-426e-8317-c6dccb1781e4","resolution":{"observed_at":"2026-08-11T11:13:11.318332Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2020.02.021","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.294434Z","title":null,"venue":null,"work_id":"3f808697-a8d5-419d-ae25-147980cc1499","year":2020},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.576490Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:f2b95b84e0270720ab6f5da621e51c0f9d25c5a609738d6095c0077c137af6ff","observation_id":"035cbc31-e50d-418c-9f6f-97212055ad3a","resolution":{"observed_at":"2026-08-11T11:13:11.299824Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.582434Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.582434Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:4f98c0c0595ba9f5d933262b620332f30715fcf5f97109cd1907c259afc62730","observation_id":"2e41b160-a867-4f7b-9e11-fec43544f4f6","resolution":{"observed_at":"2026-08-11T11:13:09.582434Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.595711Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.595711Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:bd55e26bed2418082772fb2804378d5eaec93c7002262d72172c2d10d6c24248","observation_id":"3da7bf27-c7b1-49f4-b249-2ad157946359","resolution":{"observed_at":"2026-08-11T11:13:09.595711Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.604017Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.604017Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:2677499056b006faa8a62dd3426f60f295b57e6b69c01a18e13b8e942f2787cc","observation_id":"97d9f3cb-639f-4f3b-a03b-585c7fe8b5c7","resolution":{"observed_at":"2026-08-11T11:13:09.604017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-33475-7_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.266045Z","title":null,"venue":null,"work_id":"c32e655d-8da2-42a8-9204-6f9a02c2329f","year":2012},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.610865Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:8f2e6ec4db33c891c77f074a1c5c2b775a6f8df2f1fd47d9da45107482704fd7","observation_id":"a869390c-7856-4bb6-93a1-74fa79aaee50","resolution":{"observed_at":"2026-08-11T11:13:11.271012Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-61053-7_62","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":null,"venue":"Lecture notes in computer science","work_id":"319436f7-eb76-42d3-a45a-76a716a19eab","year":1996},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.620566Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:f6a8e0c03494e88cac9dd784f520dbd3257617e8ab78fe21d8a88da36688700b","observation_id":"edeaa649-1489-44b6-b245-9ebbd0433497","resolution":{"observed_at":"2026-08-11T11:13:11.255460Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.628752Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.628752Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:6728e73c8d823b4cd85f99549bbba86bd5fe0dd374582b39ed982e69df7f1d41","observation_id":"ad27548f-ad80-4cf8-ab64-1df239305b6a","resolution":{"observed_at":"2026-08-11T11:13:09.628752Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.02653","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:12.838868Z","title":null,"venue":null,"work_id":"9ca5ff7a-01be-4051-a1c1-d6a79e3bab44","year":2026},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.635282Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:45852ce9aca4065c4b25250681dbd6b4c7054d5993280332ff3b09015e14430d","observation_id":"3c27092a-ce07-4bba-b168-e508f0ca60aa","resolution":{"observed_at":"2026-08-11T11:13:12.854944Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.641519Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.641519Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:c329f369cf2e0108e2ab574ca843de5fd7b2498a3addfbd91aa51e1f75e04b2d","observation_id":"95749046-61ec-41d3-b9a3-69797c808937","resolution":{"observed_at":"2026-08-11T11:13:09.641519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-54862-8_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.220276Z","title":null,"venue":null,"work_id":"51b17954-5713-49be-8dce-a04467206e85","year":2014},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.649583Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:0ce47167553441fcc584a81efa429376f0162f736c2c55428ee22c199fb828a7","observation_id":"58283b04-136c-48af-9a9f-d95845db988a","resolution":{"observed_at":"2026-08-11T11:13:11.226393Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-39322-9_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":null,"venue":"Lecture notes in computer science","work_id":"8d7e68f3-7ab2-48ca-9840-85edfdcc1181","year":2020},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.655343Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:1b40c63802a45cc846968b6cc44cafd03afce902f3ed2218bef72a2b63d77873","observation_id":"e7de7321-21c9-4e6a-9f3f-6abdf01f6ab7","resolution":{"observed_at":"2026-08-11T11:13:11.207641Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.660476Z","title":"2021.Principles of Abstract Interpretation","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.660476Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:8f41ec3620749659d4737917f4c7b39cc7979debb251f216bb82a17e225a15ac","observation_id":"1a785582-0087-4f01-aa3d-d410a0d3347c","resolution":{"observed_at":"2026-08-11T11:13:09.660476Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.666756Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.666756Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:e14f5d8a042a07793cdb504ca76d48d59a99770c0b8e52738cbaab91ed772944","observation_id":"f78ee84c-1112-4e67-a31e-400ba639deb4","resolution":{"observed_at":"2026-08-11T11:13:09.666756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.674590Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.674590Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:1c81df091e4b63e8b93e7aa97984ec819f49ae932691510cb12f7610595481a9","observation_id":"81316a0b-e573-4cd4-9f02-77e09c88709b","resolution":{"observed_at":"2026-08-11T11:13:09.674590Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.683447Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.683447Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:9fbe30326853aea3a55fe5defd2e5c3b5df807036c6bdceaa8ccdc7af23bfaa2","observation_id":"077fd1ac-0e72-444f-bf48-f135f3430e78","resolution":{"observed_at":"2026-08-11T11:13:09.683447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5838.25378","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:12.391215Z","title":null,"venue":null,"work_id":"ad9149bc-cc45-49e0-abc4-e16798fb6e96","year":2014},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.689874Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b1daa2a84fb309fccfa227f0f8805602a70d5bb66b2f9d1455848e4cee135419","observation_id":"010f3c2b-6ab4-401a-a78b-fd6a9037a9f1","resolution":{"observed_at":"2026-08-11T11:13:12.400706Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.696644Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.696644Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:2d6ad5899a239d01154a24771a4bdebb5f331a4710802e84e506cabad18100b7","observation_id":"464d2f6a-59b5-4f82-aa6f-8539552253b9","resolution":{"observed_at":"2026-08-11T11:13:09.696644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.703406Z","title":"Gallagher, Manuel V","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.703406Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:99b046009bef1e70dd2a5baa95220bafabcc5f9653475207036c78130827ea66","observation_id":"6cb2b262-60a8-409f-a317-e8170d7dbbf6","resolution":{"observed_at":"2026-08-11T11:13:09.703406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s147106842400019x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.157593Z","title":null,"venue":null,"work_id":"4ad82078-f4da-46c8-a609-4eb654334a76","year":2024},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.708284Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:74690f2ea899457aaad74e18853ab648fc4f9ef97f312ca3253e667735598ac6","observation_id":"3d16ce52-6e6a-4482-84f7-e65767b4d215","resolution":{"observed_at":"2026-08-11T11:13:11.162771Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s1471068422000175","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.141477Z","title":null,"venue":null,"work_id":"621d73e0-ccb7-4e80-8be4-5b7197b481f0","year":2022},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.713257Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:35f2168280d6413412e2397deefcb4805b2e22b04ce8997e42cd3b78dec43cf2","observation_id":"3609bc1c-92bb-4521-8a93-e7da2819dd4a","resolution":{"observed_at":"2026-08-11T11:13:11.146197Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.718956Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.718956Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:18a15377c14efba00d5fa840a7496041fe181d82c9debabde16b36fc1c92acf1","observation_id":"3ad46659-1334-47f2-b868-6dbc4d0b4eba","resolution":{"observed_at":"2026-08-11T11:13:09.718956Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3542.93564","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:12.203795Z","title":null,"venue":null,"work_id":"0eb3cec8-ed0f-408a-8ea5-e906e0c45190","year":1990},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.725035Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:d98ea2278d52d7cd876c12d6b69c190ac5e6d8190ca6f1ab66ee895a90751f20","observation_id":"7d6441ca-b627-4ac1-96ca-204eed0b6184","resolution":{"observed_at":"2026-08-11T11:13:12.212334Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.7551/mitpress/4283.003.0035","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.120105Z","title":null,"venue":null,"work_id":"fadef026-cd59-4822-a20d-7251b8658333","year":1997},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.730332Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:4f894875b028d4fe5110cacc9366feea432e7406b55083fc31a812e3ec0c0beb","observation_id":"9ec49394-6f9e-46e1-9d7e-87ca5b4d7028","resolution":{"observed_at":"2026-08-11T11:13:11.125868Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0743-1066(88)90010-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.101061Z","title":null,"venue":null,"work_id":"8ecd32fc-3fe4-4384-8974-6807e9552aba","year":1988},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.736689Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:0d61ee929df8aa3e0f5fcaa7d51a21e16ec8d91d78a807adfff35f54190bc3a3","observation_id":"07ac97c2-7dd4-4c31-ac35-259fc03fa2ae","resolution":{"observed_at":"2026-08-11T11:13:11.106553Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2017.32","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.079760Z","title":null,"venue":null,"work_id":"e9eb1474-69ee-4e49-b92a-3e58b8e4e28c","year":2017},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.744039Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:430294c050d9cb2335ec7b7a22577a061cebfe32a744eb6f30491c66ecf6ac0b","observation_id":"4b5caa74-382e-4d96-9bb7-85b711d8163a","resolution":{"observed_at":"2026-08-11T11:13:11.086275Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.749399Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.749399Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:652baf352fd0fa9de3f4b8fdb7642e025bfb4ee642c78f5b023367043169c02a","observation_id":"b7a9e97b-71e7-4f07-8a81-5088887d8206","resolution":{"observed_at":"2026-08-11T11:13:09.749399Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-08867-9_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.060991Z","title":null,"venue":null,"work_id":"baabd9d7-c54d-4732-b5ec-4df4e724f7ef","year":2014},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.754401Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:6da3a7430f9a28486c72417bcdd9f32dd4da898ee149b697c2e9ba55b38a1c51","observation_id":"014cb900-10ef-4bb9-a104-d1d7ca7ece8e","resolution":{"observed_at":"2026-08-11T11:13:11.066712Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.26083/tuprints-00006746","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.041539Z","title":"2017.Cost Analysis of Programs Based on the Refinement of Cost Relations","venue":null,"work_id":"45b5f9f4-7ddf-47e2-8210-9be3d077c975","year":2017},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.759386Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:2c9dce26ce97f5c620860be2fd692f9bdfd914585b8b63944af077fd76169380","observation_id":"536abcf8-c357-486b-9aab-f349dfd0d056","resolution":{"observed_at":"2026-08-11T11:13:11.048935Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5051.26770","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:12.015313Z","title":null,"venue":null,"work_id":"c65fc08d-7a25-4138-a925-3c8649ebe45b","year":2015},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.764618Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:7c90e7d0604a44bd2771b5461f669d4012639eb2273d91c68461b67e1172e0f3","observation_id":"e1127f49-7868-4221-90cf-cbd9a247c06b","resolution":{"observed_at":"2026-08-11T11:13:12.025066Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/154630","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.016734Z","title":"Gallagher","venue":null,"work_id":"d51de0c0-5fa5-4830-9ae6-2a8bcb4e5124","year":1993},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.770555Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:a003eddd29c8f49869498e8edb738f6776df3cfcf87efe8b3002aff27c2f6c78","observation_id":"0c9cec0a-c33c-4b32-8671-ff3f2447fcd6","resolution":{"observed_at":"2026-08-11T11:13:11.022574Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(98)00194-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.994675Z","title":null,"venue":null,"work_id":"b4a820fa-2b3a-4b00-8c69-3ba7a6131ddc","year":1999},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.776040Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:50a8bd6b0e2ae9956991d9b904bb4d660a437a64676e88348c86a211c966c6aa","observation_id":"7d17286d-1b24-4dd3-95ca-0fdd2b462745","resolution":{"observed_at":"2026-08-11T11:13:11.001599Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-91121-7_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Goharshady, S","venue":"Lecture notes in computer science","work_id":"84d9ac33-7667-46e3-a921-83d22602e1c1","year":2025},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.782103Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:2b649a101cdc2b40d165ecbd0ea48622749a0e391e2703bd34b74c46079e5133","observation_id":"444220d2-39ab-430f-9520-b6b4a1a7fdec","resolution":{"observed_at":"2026-08-11T11:13:10.980387Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.788779Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.788779Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:d7ad90ccfa529ec395029ae3c0c91a462a39574e3088304389686a5aa3ce3507","observation_id":"549d8627-b7c9-409d-a0ea-0acfe507f34f","resolution":{"observed_at":"2026-08-11T11:13:09.788779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.794371Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.794371Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:9745d51086ba176a9aee675a93998620cea0976a89e4dd6ba63d4f0e4e2ec963","observation_id":"10b79726-26d4-400c-9783-7f5ad9e2c260","resolution":{"observed_at":"2026-08-11T11:13:09.794371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.800486Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.800486Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:ec7dfd11275ab7320d23dcf6f05da5e826c65982eab14384b040b1b858c109a3","observation_id":"0cc0d21d-6ffc-42bd-a2d4-29c26f5af676","resolution":{"observed_at":"2026-08-11T11:13:09.800486Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.807192Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.807192Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:9c2f05b271973fef982fe813ecb47be88ac8bb13b312113157387dddf9e0c7c1","observation_id":"ed039196-3b56-4eeb-985d-b8f025589699","resolution":{"observed_at":"2026-08-11T11:13:09.807192Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.813336Z","title":"Hermenegildo, G","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.813336Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:42c8af648ca377528cd5e7b5100c063885f5099de38f26d3672217fa14578f2b","observation_id":"a7346378-b8d5-4dfe-af8e-668069dcc245","resolution":{"observed_at":"2026-08-11T11:13:09.813336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0743-1066(92)90053-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.913387Z","title":"Hermenegildo, R","venue":null,"work_id":"e4356f60-0868-47ef-be48-a328356562e9","year":1992},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.818254Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b880e8a09f0adb3c68e15c2f305dda6bd4b22450be5a6e06c3f929c9157368b6","observation_id":"75a162fb-0bf4-4083-9db7-38b51c65c497","resolution":{"observed_at":"2026-08-11T11:13:10.919481Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-07106-4_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.889128Z","title":null,"venue":null,"work_id":"08e46f97-d8e7-48f9-a7c9-7024467efb6b","year":2025},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.823605Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:133ee5bf88ec9ed3e44424b84db627b607cc053263c1ee10c406faed3ffd18c1","observation_id":"01273385-2a20-4925-ac7a-3414a32bca59","resolution":{"observed_at":"2026-08-11T11:13:10.900306Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2004.07.022","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.863737Z","title":null,"venue":null,"work_id":"b54f504b-9ee4-453f-b2b2-8ccb5226059c","year":2004},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.833043Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:55e6358fd811f546027b4093d1a9d00fab66122716995a6d3ef48700e26530d6","observation_id":"4306aed9-79a9-4429-ad80-42935b9e4063","resolution":{"observed_at":"2026-08-11T11:13:10.869361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.838856Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.838856Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:0c2dfa59dc7497b155cf2e148a081896c045b4728d84f65dc40ae86d5e0c2193","observation_id":"b5d7d210-7521-4de1-8ebd-5c19ea7612aa","resolution":{"observed_at":"2026-08-11T11:13:09.838856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-10(2:2)2014","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.819044Z","title":null,"venue":null,"work_id":"b6621c2d-09bf-4b05-a3dd-262ada8907d5","year":2014},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.849236Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:75ed4ac0ce5a9cda1d561aa67a1f61852c9982ee85bee25333c59d8d996ad0ba","observation_id":"dc26a51c-9108-4a8d-bc74-70bcc243ee86","resolution":{"observed_at":"2026-08-11T11:13:10.824121Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.853712Z","title":"2016.Introduction to Coalgebra: Towards Mathematics of States and Observation","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.853712Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b856310ff512cf06723e26ca086c6395b39f2129d52911288c2a355767730ca2","observation_id":"59ff5e07-9475-43ef-b4c8-8055bab04045","resolution":{"observed_at":"2026-08-11T11:13:09.853712Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.10930","last_updated":"2019-11-25T14:23:44Z","snapshot_observed_at":"2026-08-05T09:36:47.155532Z","submitted_at":"2019-11-25T14:23:44Z","title":"Abstract Compilation for Verification of Numerical Accuracy Properties","version":1},"cited_work":{"arxiv_id":"1911.10930","doi":null,"metadata_source":"pith","pith_arxiv_id":"1911.10930","snapshot_observed_at":"2026-08-11T11:13:11.847132Z","title":"Abstract Compilation for Verification of Numerical Accuracy Properties","venue":"cs.SE","work_id":"aa72b710-639c-4dcc-b248-d58e64771c91","year":2019},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.858631Z"},"links":{"cited_paper":"/paper/1911.10930","citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:c4a071bc060990b5105c8942a3c99de8b4206d4d70da060740bb7dc02958df7a","observation_id":"85c68594-a00f-4808-bfae-11371278c1de","resolution":{"observed_at":"2026-08-11T11:13:11.853086Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.864093Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.864093Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:2ffe5118b18097c0271cb7c7da7e2092e73233ba923948c3dad1890415e71b00","observation_id":"494b83ea-5b95-448c-bd66-3b74850a0cb9","resolution":{"observed_at":"2026-08-11T11:13:09.864093Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.344.3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.765704Z","title":"Gallagher, Manuel V","venue":null,"work_id":"e28b6589-1678-426e-920a-d0f2809f0bd6","year":2021},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.877339Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:223a0d4ae92caa0538b6a590b773c525acd0d42f7d94f2198cb92e11ac56bf2f","observation_id":"0d9a4ad3-dd0e-4070-9694-07758d788e51","resolution":{"observed_at":"2026-08-11T11:13:10.772652Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.885095Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.885095Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:1e63aaafa99edfcccafb73f70637ca0a4956e9d6ff90b4816bbf9a31193cf85d","observation_id":"10a8cada-afac-4601-b903-c5dbfb4b8c07","resolution":{"observed_at":"2026-08-11T11:13:09.885095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.891200Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.891200Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:50e0cae143793221d36e63de220781d6c75b980fd1960aaf495ad9ef8c361007","observation_id":"372da0a7-e493-4378-bf23-a0bb0618ef1d","resolution":{"observed_at":"2026-08-11T11:13:09.891200Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3290368","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.723411Z","title":null,"venue":null,"work_id":"f59661d8-74df-4eaa-b506-efd9c7d0d0cb","year":2019},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.897210Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b2d6ee7cf508069ea1c50de5faac9b98aa5d550cc29e66dda208497a598d085a","observation_id":"f0575b9f-d261-46eb-8563-0f47c914d44f","resolution":{"observed_at":"2026-08-11T11:13:10.731699Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158142","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.700325Z","title":null,"venue":null,"work_id":"d93b1e2d-791e-44f4-8b05-64ed6343753c","year":2018},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.903673Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:c40c138a691b969046851497a59296e6a933cd7a7726e76dafdf9da6e4cbf5a4","observation_id":"80666e0c-deb0-4da6-a890-abe57efd7e29","resolution":{"observed_at":"2026-08-11T11:13:10.709263Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.909771Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.909771Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b6eb21f98b7ff64a27d46081ade42d33c7d70316c21825f6a373db3cdd45dc09","observation_id":"cc6416e2-76b0-412d-97d2-c0c7e6bc6f0e","resolution":{"observed_at":"2026-08-11T11:13:09.909771Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808307","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.651154Z","title":null,"venue":null,"work_id":"9284eb03-595f-4bb9-8d99-9c9b859184f2","year":2026},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.915807Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:0c254f2387acdf7b28c52f67c40ae63cc2e509e943d58b888ef8c068149597b6","observation_id":"377ec451-8ef5-46bf-937b-776e62371a55","resolution":{"observed_at":"2026-08-11T11:13:10.664040Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.921584Z","title":"2007.Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.921584Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:5a057cfbbbf3a059e0eb52207a6f5771800dca81c3e98bf011e3e386e5687c8e","observation_id":"cc8a33e4-c006-40b1-8711-cc4e167dd1cd","resolution":{"observed_at":"2026-08-11T11:13:09.921584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-78800-3_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.623908Z","title":null,"venue":null,"work_id":"3b8362f8-4bac-4d8c-b41b-80e3f4f4538a","year":2008},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.926920Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:cd6b8b669f678d209c11ce729bce333aaba37345b6e76b241df207dc734dbea3","observation_id":"82219099-cdf6-48f6-96c1-ba57e6137f2e","resolution":{"observed_at":"2026-08-11T11:13:10.630851Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.932816Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.932816Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:204d059c1db46792321b792038823f46cbd2e6e972be94985fd3960edd01d195","observation_id":"ca112550-dd52-4b19-8c84-4b572c5723b5","resolution":{"observed_at":"2026-08-11T11:13:09.932816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.938195Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.938195Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:f872c25246dd580fa5b2a85056bd3081f5dc311930b2a54c9df1f96cc31c4ceb","observation_id":"55edafa1-a8bc-4c15-a486-85654e30bf12","resolution":{"observed_at":"2026-08-11T11:13:09.938195Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2190.42347","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.747418Z","title":"Le Metayer","venue":null,"work_id":"881490cb-31c7-4a9c-9684-eb48d5d1c829","year":1988},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.943530Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:4f6fea6e6c97b028311b1e855f66acf970ac0626e8f9e9a8d9f4d4bb81bb1a32","observation_id":"edb0435d-d8dd-4ac9-b3eb-5fbc583c2607","resolution":{"observed_at":"2026-08-11T11:13:11.756376Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01752392","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.570600Z","title":"Lehmann and Michael B","venue":null,"work_id":"1b513269-35f9-4dd0-8b33-6e48a4ff9345","year":1981},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.948662Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:871e025b3bcc6f7cb883038e8184a514feed4549af933aaeebabac7b16269e60","observation_id":"6ad163b6-fe6a-41de-b08d-b19e2585070c","resolution":{"observed_at":"2026-08-11T11:13:10.577548Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.954088Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.954088Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b1a8ecda0e669c8ac4a47109fdce85d04752225cf8e96bb8d81ee15a2b3f2c0b","observation_id":"02edd39f-f371-4093-acaf-a9dc6c3f98a5","resolution":{"observed_at":"2026-08-11T11:13:09.954088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.960947Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.960947Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:8183571a4ec2fd5891cf18851c5ca5c3ec28079ce3026d933e750c6a37a9eb15","observation_id":"f3ad1db0-7839-4555-a9cf-059ed5f7c2ad","resolution":{"observed_at":"2026-08-11T11:13:09.960947Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.965636Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.965636Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:81c586382b6aed8f6d636462979ae4573acb3d405ec19fac7d2c3409cca40107","observation_id":"43e58be4-0cb8-4966-ac52-64aac38cdea3","resolution":{"observed_at":"2026-08-11T11:13:09.965636Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.970743Z","title":"Lopez-Garcia, L","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.970743Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:8ff868e316736f44802f950e0c2b7f58689b07e645f4d471578855eaadbaa664","observation_id":"d4bd17d1-bf09-4792-80de-f5a09582ce87","resolution":{"observed_at":"2026-08-11T11:13:09.970743Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s1471068416000442","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.480531Z","title":"Lopez-Garcia, M","venue":null,"work_id":"b6657715-3201-478b-96cd-48441b960239","year":2016},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.975986Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:5602d0a87e2a88640fb1d35d967631289bc9e4915873b72a7bd1e97c6cf928cc","observation_id":"d3d816c4-005c-45f6-b80b-cc5233034fe1","resolution":{"observed_at":"2026-08-11T11:13:10.486341Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-11T12:17:58.845775+00:00","source":"paper_reference_links","state":"open"},"event_date":"2020-11-11","event_type":"correction","notice_doi":"10.1017/s1471068420000447","provenance":{"observed_at":"2026-07-11T03:06:20.16179+00:00","source":"crossref","source_record_id":"10.1017/s1471068420000447->10.1017/s1471068416000442:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4612-9860-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":null,"venue":"Graduate texts in mathematics","work_id":"8b9c5f99-6e78-4935-aa18-a064cacf2b07","year":1976},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.980641Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:583a0b5059c1803950ea9c0d867786ff17b78451afaee0a075d3755783ba60df","observation_id":"6ad6bbd3-409d-4e27-bf61-a8b941e764bb","resolution":{"observed_at":"2026-08-11T11:13:10.467392Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.985308Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.985308Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:567a84f9d110d4a8119624c6091189e4a64987237f92aef3352aae681c66a4af","observation_id":"52419424-d33f-409b-9bbf-c09add43073e","resolution":{"observed_at":"2026-08-11T11:13:09.985308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.990012Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.990012Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:e387a61020a4e4a95c29ae572bb8d53f3a8dc41e5af6e7dbac9017137ae438a1","observation_id":"1e49caa8-63d3-4faf-91c0-a6caa899ec29","resolution":{"observed_at":"2026-08-11T11:13:09.990012Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-74610-2_24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.405635Z","title":"Navas, E","venue":null,"work_id":"481f3329-dc19-4271-9119-87a61fe2c5ed","year":2007},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.995140Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b49d601d1767731c3a490c8a5188669df916c24903ebf27e2ab8b011a0a802d0","observation_id":"5b3cb62d-ebdb-4402-9245-d53d01c68a36","resolution":{"observed_at":"2026-08-11T11:13:10.413402Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.999547Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.999547Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:21a99937eac8550a6c486d07cd0abf7c807ddb9ac6ea9631f8b59b0e7b4a3b1a","observation_id":"60956b51-1076-4ca6-8b24-52025dc46f3f","resolution":{"observed_at":"2026-08-11T11:13:09.999547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-72621-7_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":null,"venue":"Lecture notes in computer science","work_id":"7010e17e-fecc-43b9-8a40-3dbd65d44713","year":2024},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.004906Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:2c540390aec88f64f48d5321dca49793a21c4240e2f50a18bddc6b1b231d0821","observation_id":"35f1464d-e15a-48f8-a4b2-30fabf10b298","resolution":{"observed_at":"2026-08-11T11:13:10.385401Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.010851Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.010851Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:87615195ed9020d58a1754180ed6599449965563b8b4dea27f15923d405b2b69","observation_id":"60bce471-c297-4720-8f17-535c460552da","resolution":{"observed_at":"2026-08-11T11:13:10.010851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11823230_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Puebla, E","venue":"Lecture notes in computer science","work_id":"94cd091f-8b5e-4c34-8631-9c8033e93392","year":2006},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.017085Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:7f6f132943e18f40ea481ea3b91bba5f5ebac9a18ce6d96eddde8c657f1f8620","observation_id":"f404842d-667f-4915-997c-6b8c1d317d99","resolution":{"observed_at":"2026-08-11T11:13:10.351803Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7388.77739","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.653654Z","title":"Puebla and M.V","venue":null,"work_id":"9ad1ec90-4ec9-4dca-a66b-a25d1c4b662f","year":2003},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.022435Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:50c5eb711a0bcb4c417bff312a2674d5aceae39a0bc84826f3a9e877cfc4357f","observation_id":"135c77c8-5501-4f4d-ad38-087efdde16bf","resolution":{"observed_at":"2026-08-11T11:13:11.663614Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9370.99381","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:11.565703Z","title":"Rosendahl","venue":null,"work_id":"bb19ee9e-ba80-4310-b06c-d2d4933f8e76","year":1989},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.027768Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:fff0ed166a9122cdf3081b8c41871a46fa22d116379fc2fd64e871bd61c2d006","observation_id":"153c35b6-343b-4124-bd01-8312fca19129","resolution":{"observed_at":"2026-08-11T11:13:11.574584Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11609773_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Rossignoli and F","venue":"Lecture notes in computer science","work_id":"441c193b-f101-4e18-ac9c-b9ace3c07bab","year":2006},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.033239Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:6c8e2830f7ab675b1563239bc7d2506aa1c8225efecb47cd86b7310d3b7bf9f7","observation_id":"7e76de74-d30d-4797-b01c-e31f03b77f4c","resolution":{"observed_at":"2026-08-11T11:13:10.323032Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s1471068424000413","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.287266Z","title":null,"venue":null,"work_id":"2cd2780b-5c61-4454-b8b3-f79c6211be6c","year":2024},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.038090Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:6466a55215c5ac34493d9e60f66ef7f99924206ff495a189de5abc6d29254183","observation_id":"e7134876-d64e-4ceb-bcc8-1e5688af425d","resolution":{"observed_at":"2026-08-11T11:13:10.293760Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.042926Z","title":"Hermenegildo","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.042926Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:60643c046624fa054fa6e2fd0805d4161773caa4b756da23656db5ba4f30f722","observation_id":"9b900b6b-ac4c-483c-aa08-68f781e1535d","resolution":{"observed_at":"2026-08-11T11:13:10.042926Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.048792Z","title":"Morales, and Manuel V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.048792Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:7b4ca66aec5182e84882f4345930292111b9bb2e0add29945c557fb83b14f2d4","observation_id":"81fd38ff-3374-4839-9a23-b8432ae12b61","resolution":{"observed_at":"2026-08-11T11:13:10.048792Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.22149","last_updated":"2026-05-21T08:20:49Z","snapshot_observed_at":"2026-08-02T05:53:56.938524Z","submitted_at":"2026-05-21T08:20:49Z","title":"A Coalgebraic Dijkstra Algorithm","version":1},"cited_work":{"arxiv_id":"2605.22149","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.22149","snapshot_observed_at":"2026-08-11T11:13:11.469147Z","title":"A Coalgebraic Dijkstra Algorithm","venue":"cs.DS","work_id":"0dc0e93e-6b7b-4c94-a7e6-c08c6d374992","year":2026},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.054279Z"},"links":{"cited_paper":"/paper/2605.22149","citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:5459f9de5d19583086b94efb39006e770f66b9ce89b1c2f9cb399f900384c1f2","observation_id":"6d93c742-4254-45cb-9d96-799ef1db457f","resolution":{"observed_at":"2026-08-11T11:13:11.476042Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s147106841400057x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.252899Z","title":"Serrano, P","venue":null,"work_id":"8afba31f-5e56-4f75-822f-6b867014c33e","year":2014},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.060438Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:405cfcef96656c978e7aaf20758ca341caed81839574bcfb9cfc0dad38df6ddb","observation_id":"ac144035-5eed-4932-bc21-39f45217c0d4","resolution":{"observed_at":"2026-08-11T11:13:10.258805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.065592Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.065592Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:d8039ed34abc6a1c2c3359c84dc11c5abd07763e2e1cb5d434f2158acf2c8983","observation_id":"8f66871d-2ffc-4b51-82cf-cbd4c1753a6a","resolution":{"observed_at":"2026-08-11T11:13:10.065592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.7146/dpb.v19i328.6718","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.199606Z","title":"Steffen, C","venue":null,"work_id":"3afe5169-b0b7-45fc-b92f-35a5b592534d","year":1992},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.072820Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:d10feb088373bd5658fbfe094ac3b7e27707bda86cdf559878bbc897220c8253","observation_id":"f8e0ee10-d121-4d3b-8098-d3438a36f88c","resolution":{"observed_at":"2026-08-11T11:13:10.212816Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.078650Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.078650Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:bfc62af1ad302436c2d37232399f3454e3bea01a465c2f17b895a2667ca61a6d","observation_id":"49a98640-4e78-47d0-aed3-644c8010cabd","resolution":{"observed_at":"2026-08-11T11:13:10.078650Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.083534Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.083534Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:da3b8ad7f7269172a3cbb6989b26f79fcf733493da869e827cd25d1e05d50b26","observation_id":"c4d0da5c-132a-4367-b7be-7f0e9e2f1b82","resolution":{"observed_at":"2026-08-11T11:13:10.083534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3586028","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.165110Z","title":null,"venue":null,"work_id":"67de8b68-99bc-434e-a639-06f91d1dd3f0","year":2023},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.089686Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:34e03c28780e78d41e91ef31882f1ce6647418f31d7fa79f77c85dd3a7586a7e","observation_id":"2cf7c836-b4d5-403f-bcd3-af2530a585be","resolution":{"observed_at":"2026-08-11T11:13:10.171994Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.094930Z","title":"Hermenegildo","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.094930Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:b4a8cacb848555aaafefd85a9c653ef52c0ed0a89a67de38f791fa7faa3cf234","observation_id":"7be42512-ceb6-4ac7-8ef6-ead66ab3aae1","resolution":{"observed_at":"2026-08-11T11:13:10.094930Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:10.101937Z","title":"category without axioms","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:10.101937Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:23a20af79b410b47ddd6d7a481fdd9c347ccbb0df0a19da4626271ac930a3fb5","observation_id":"3a637abe-0bff-4991-b0a1-be05c6344693","resolution":{"observed_at":"2026-08-11T11:13:10.101937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.870095Z","title":"ACM Program","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.870095Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:dce5561351c535b587c64e8cfec86e9ac8fb84b53c2357925b1ea9c2ffd2e276","observation_id":"21e26ede-88d0-4bf9-be82-106a64dcb315","resolution":{"observed_at":"2026-08-11T11:13:09.870095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:13:09.588279Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-11T11:13:09.588279Z"},"links":{"citing_paper":"/paper/2608.09769"},"observation_digest":"sha256:5e7ab3f9d4ace84667b8fe6f7d748a980b31c5e12548b9b58a643e944dfb8335","observation_id":"74b401a4-7fc1-4d4b-a744-ba66272fce11","resolution":{"observed_at":"2026-08-11T11:13:09.588279Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.09769","last_updated":"2026-08-10T15:58:27Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T21:18:23.950255Z","submitted_at":"2026-08-10T15:58:27Z","title":"Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis"},"reference_resolution":{"displayed":90,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":43,"verified_exact":43,"verified_fuzzy":0},"total_outbound_references":90},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"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."}