{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:YWD6JKWPVLMC7IRDNM637WNCB5","short_pith_number":"pith:YWD6JKWP","canonical_record":{"source":{"id":"1207.1813","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-07-07T16:56:04Z","cross_cats_sorted":[],"title_canon_sha256":"a79242352c3b9d52406b79155bbd8834a026eea96211c2461e04d578c7408c57","abstract_canon_sha256":"ea967971e7f124019bba3b9d46b0391b4f76d19f2ee723e5cf2b5329f7b19a06"},"schema_version":"1.0"},"canonical_sha256":"c587e4aacfaad82fa2236b3dbfd9a20f777cdc8febd8b2dd31532a66be764c67","source":{"kind":"arxiv","id":"1207.1813","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.1813","created_at":"2026-05-18T03:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"1207.1813v1","created_at":"2026-05-18T03:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.1813","created_at":"2026-05-18T03:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"YWD6JKWPVLMC","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"YWD6JKWPVLMC7IRD","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"YWD6JKWP","created_at":"2026-05-18T12:27:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:YWD6JKWPVLMC7IRDNM637WNCB5","target":"record","payload":{"canonical_record":{"source":{"id":"1207.1813","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-07-07T16:56:04Z","cross_cats_sorted":[],"title_canon_sha256":"a79242352c3b9d52406b79155bbd8834a026eea96211c2461e04d578c7408c57","abstract_canon_sha256":"ea967971e7f124019bba3b9d46b0391b4f76d19f2ee723e5cf2b5329f7b19a06"},"schema_version":"1.0"},"canonical_sha256":"c587e4aacfaad82fa2236b3dbfd9a20f777cdc8febd8b2dd31532a66be764c67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:51:34.641086Z","signature_b64":"bZBJZ6CTixtdYX89MYSUi+NI/a3BIx2hhf1ZAHDbqizuuJVhka2nLfCU/9P2vz7INxW/2bkOP15eCexcnRhQBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c587e4aacfaad82fa2236b3dbfd9a20f777cdc8febd8b2dd31532a66be764c67","last_reissued_at":"2026-05-18T03:51:34.640636Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:51:34.640636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.1813","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:51:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"omTRQ3i0KEquk5Cdvb9wySmkBI8fRG28Cp4Lks8TS6eAobmCp1CRMErYvbjls6Gu09LMhDZoR4oW9Sm+SD8yCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T06:20:47.560447Z"},"content_sha256":"c0f062200421cf44994c4f9c9cd2171a334dc768c63fc085449b155637b18f0f","schema_version":"1.0","event_id":"sha256:c0f062200421cf44994c4f9c9cd2171a334dc768c63fc085449b155637b18f0f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:YWD6JKWPVLMC7IRDNM637WNCB5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Introspective Pushdown Analysis of Higher-Order Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Christopher Earl, David Van Horn, Ilya Sergey, Matthew Might","submitted_at":"2012-07-07T16:56:04Z","abstract_excerpt":"In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders of magnitude. This work illuminates and conquers the theoretical challenges that stand in the way of combining the power of these techniques. The challenge in marrying these techniques is not subtle: computing the reachable control states of a pushdown system relies on limiting access during transition to the top of the stack; abstract garbage collection, on "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.1813","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:51:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ALbDteIVRWHsck4Sw809E3vlez78wndTu0pVtEq+83lK9SUfOe9lZv8EAXbxFE1eA4T2q+RSSgBQp+7lXO8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T06:20:47.560851Z"},"content_sha256":"ee901d3ad8e25ad9354a6710348c14d4c7b2e1f2ea692eeeff63a9102d0c3559","schema_version":"1.0","event_id":"sha256:ee901d3ad8e25ad9354a6710348c14d4c7b2e1f2ea692eeeff63a9102d0c3559"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YWD6JKWPVLMC7IRDNM637WNCB5/bundle.json","state_url":"https://pith.science/pith/YWD6JKWPVLMC7IRDNM637WNCB5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YWD6JKWPVLMC7IRDNM637WNCB5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T06:20:47Z","links":{"resolver":"https://pith.science/pith/YWD6JKWPVLMC7IRDNM637WNCB5","bundle":"https://pith.science/pith/YWD6JKWPVLMC7IRDNM637WNCB5/bundle.json","state":"https://pith.science/pith/YWD6JKWPVLMC7IRDNM637WNCB5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YWD6JKWPVLMC7IRDNM637WNCB5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:YWD6JKWPVLMC7IRDNM637WNCB5","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ea967971e7f124019bba3b9d46b0391b4f76d19f2ee723e5cf2b5329f7b19a06","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-07-07T16:56:04Z","title_canon_sha256":"a79242352c3b9d52406b79155bbd8834a026eea96211c2461e04d578c7408c57"},"schema_version":"1.0","source":{"id":"1207.1813","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.1813","created_at":"2026-05-18T03:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"1207.1813v1","created_at":"2026-05-18T03:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.1813","created_at":"2026-05-18T03:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"YWD6JKWPVLMC","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"YWD6JKWPVLMC7IRD","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"YWD6JKWP","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:ee901d3ad8e25ad9354a6710348c14d4c7b2e1f2ea692eeeff63a9102d0c3559","target":"graph","created_at":"2026-05-18T03:51:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders of magnitude. This work illuminates and conquers the theoretical challenges that stand in the way of combining the power of these techniques. The challenge in marrying these techniques is not subtle: computing the reachable control states of a pushdown system relies on limiting access during transition to the top of the stack; abstract garbage collection, on ","authors_text":"Christopher Earl, David Van Horn, Ilya Sergey, Matthew Might","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-07-07T16:56:04Z","title":"Introspective Pushdown Analysis of Higher-Order Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.1813","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c0f062200421cf44994c4f9c9cd2171a334dc768c63fc085449b155637b18f0f","target":"record","created_at":"2026-05-18T03:51:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ea967971e7f124019bba3b9d46b0391b4f76d19f2ee723e5cf2b5329f7b19a06","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-07-07T16:56:04Z","title_canon_sha256":"a79242352c3b9d52406b79155bbd8834a026eea96211c2461e04d578c7408c57"},"schema_version":"1.0","source":{"id":"1207.1813","kind":"arxiv","version":1}},"canonical_sha256":"c587e4aacfaad82fa2236b3dbfd9a20f777cdc8febd8b2dd31532a66be764c67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c587e4aacfaad82fa2236b3dbfd9a20f777cdc8febd8b2dd31532a66be764c67","first_computed_at":"2026-05-18T03:51:34.640636Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:51:34.640636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bZBJZ6CTixtdYX89MYSUi+NI/a3BIx2hhf1ZAHDbqizuuJVhka2nLfCU/9P2vz7INxW/2bkOP15eCexcnRhQBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:51:34.641086Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.1813","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0f062200421cf44994c4f9c9cd2171a334dc768c63fc085449b155637b18f0f","sha256:ee901d3ad8e25ad9354a6710348c14d4c7b2e1f2ea692eeeff63a9102d0c3559"],"state_sha256":"ced0959b0007b1b95b4336a527c0a6e0e0230070a1ddd34d9066605a22b3ffab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WuATsUCAs0fZud83PdPMo1qpjddJj6XaS5hx1QzTJD/XoVxfNE3MTrxW0+c4sQDIyJyQniKmGdgv3WsPfFTwDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T06:20:47.562929Z","bundle_sha256":"d4033fdcc165cf09e7255112c346e171d35a936541af3125807ee206b0bb2364"}}