{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:AHSPGMJW2PW6MIKFUSUKUNZTRH","short_pith_number":"pith:AHSPGMJW","schema_version":"1.0","canonical_sha256":"01e4f33136d3ede62145a4a8aa373389cb816a130d904e0c0f901d2a146d3280","source":{"kind":"arxiv","id":"1311.5810","version":1},"attestation_state":"computed","paper":{"title":"Deciding $k$CFA is complete for EXPTIME","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Van Horn, Harry G. Mairson","submitted_at":"2013-11-22T16:50:48Z","abstract_excerpt":"We give an exact characterization of the computational complexity of the $k$CFA hierarchy. For any $k > 0$, we prove that the control flow decision problem is complete for deterministic exponential time. This theorem validates empirical observations that such control flow analysis is intractable. It also provides more general insight into the complexity of abstract interpretation."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1311.5810","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-11-22T16:50:48Z","cross_cats_sorted":[],"title_canon_sha256":"29e2140cd5c5082f3dea3e69e9cacc6ab856de76e23affb679c924250db0f0aa","abstract_canon_sha256":"49c3e922156c7c410908ed3c55918ab8b249005c03e9c2321bccea513c9f1c37"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:23.192942Z","signature_b64":"VgIw3ky67yOKD5KO5HZb3EXNp+518t4HwDbFZ4w6I87RWgBse3BoLeJm6ZXDAMmJaYkbamfP1V5gRCO6JVljBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01e4f33136d3ede62145a4a8aa373389cb816a130d904e0c0f901d2a146d3280","last_reissued_at":"2026-05-18T03:06:23.192449Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:23.192449Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deciding $k$CFA is complete for EXPTIME","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Van Horn, Harry G. Mairson","submitted_at":"2013-11-22T16:50:48Z","abstract_excerpt":"We give an exact characterization of the computational complexity of the $k$CFA hierarchy. For any $k > 0$, we prove that the control flow decision problem is complete for deterministic exponential time. This theorem validates empirical observations that such control flow analysis is intractable. It also provides more general insight into the complexity of abstract interpretation."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.5810","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1311.5810","created_at":"2026-05-18T03:06:23.192529+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.5810v1","created_at":"2026-05-18T03:06:23.192529+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.5810","created_at":"2026-05-18T03:06:23.192529+00:00"},{"alias_kind":"pith_short_12","alias_value":"AHSPGMJW2PW6","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_16","alias_value":"AHSPGMJW2PW6MIKF","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_8","alias_value":"AHSPGMJW","created_at":"2026-05-18T12:27:38.830355+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH","json":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH.json","graph_json":"https://pith.science/api/pith-number/AHSPGMJW2PW6MIKFUSUKUNZTRH/graph.json","events_json":"https://pith.science/api/pith-number/AHSPGMJW2PW6MIKFUSUKUNZTRH/events.json","paper":"https://pith.science/paper/AHSPGMJW"},"agent_actions":{"view_html":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH","download_json":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH.json","view_paper":"https://pith.science/paper/AHSPGMJW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.5810&json=true","fetch_graph":"https://pith.science/api/pith-number/AHSPGMJW2PW6MIKFUSUKUNZTRH/graph.json","fetch_events":"https://pith.science/api/pith-number/AHSPGMJW2PW6MIKFUSUKUNZTRH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH/action/storage_attestation","attest_author":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH/action/author_attestation","sign_citation":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH/action/citation_signature","submit_replication":"https://pith.science/pith/AHSPGMJW2PW6MIKFUSUKUNZTRH/action/replication_record"}},"created_at":"2026-05-18T03:06:23.192529+00:00","updated_at":"2026-05-18T03:06:23.192529+00:00"}