{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:LOLPMUTQQ3QNIPSO3NCMBCNHHF","short_pith_number":"pith:LOLPMUTQ","canonical_record":{"source":{"id":"1310.3481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-13T13:41:25Z","cross_cats_sorted":[],"title_canon_sha256":"e54255d9fd7bf205965008658b6b7545e6935d058028f48e25298c28571f1bb5","abstract_canon_sha256":"bfa0714bb0dd36bbd28fb37ef49374558227e7fef6711c59838928bd87014a1c"},"schema_version":"1.0"},"canonical_sha256":"5b96f6527086e0d43e4edb44c089a739557c9e6a8624f9c941be010f604fe0d2","source":{"kind":"arxiv","id":"1310.3481","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3481","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3481v1","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3481","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"pith_short_12","alias_value":"LOLPMUTQQ3QN","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"LOLPMUTQQ3QNIPSO","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"LOLPMUTQ","created_at":"2026-05-18T12:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:LOLPMUTQQ3QNIPSO3NCMBCNHHF","target":"record","payload":{"canonical_record":{"source":{"id":"1310.3481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-13T13:41:25Z","cross_cats_sorted":[],"title_canon_sha256":"e54255d9fd7bf205965008658b6b7545e6935d058028f48e25298c28571f1bb5","abstract_canon_sha256":"bfa0714bb0dd36bbd28fb37ef49374558227e7fef6711c59838928bd87014a1c"},"schema_version":"1.0"},"canonical_sha256":"5b96f6527086e0d43e4edb44c089a739557c9e6a8624f9c941be010f604fe0d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:35.617507Z","signature_b64":"KYxbbO/XpaQC1lR+UaBA54VpBZFSQts5M9gSMQLqbsifREUYj77LWXOreqcWy/kAMBWoej407IFDneIibileAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b96f6527086e0d43e4edb44c089a739557c9e6a8624f9c941be010f604fe0d2","last_reissued_at":"2026-05-18T03:10:35.617039Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:35.617039Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.3481","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:10:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xWeFaFmhlcm7+7PRtipolzbZKmNW3OreqMVeFfUoeJKxL1bNv8n/WrB6k7QUZZFYsyd46geeOcJ0QI+1RriwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T13:54:39.179533Z"},"content_sha256":"1c65957869a034f00b27c780879f4d09198242ddd05357aa001d0f7b8319fbf2","schema_version":"1.0","event_id":"sha256:1c65957869a034f00b27c780879f4d09198242ddd05357aa001d0f7b8319fbf2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:LOLPMUTQQ3QNIPSO3NCMBCNHHF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Algebraic Framework for Compositional Program Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Azadeh Farzan, Zachary Kincaid","submitted_at":"2013-10-13T13:41:25Z","abstract_excerpt":"The purpose of a program analysis is to compute an abstract meaning for a program which approximates its dynamic behaviour. A compositional program analysis accomplishes this task with a divide-and-conquer strategy: the meaning of a program is computed by dividing it into sub-programs, computing their meaning, and then combining the results. Compositional program analyses are desirable because they can yield scalable (and easily parallelizable) program analyses.\n  This paper presents algebraic framework for designing, implementing, and proving the correctness of compositional program analyses."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3481","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:10:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OXPZdyfImUUjSqMzv+RnfmDkdch45nJgn+jMffn0TBLVOAZ3WSUwe/ShAYvzFdfKTjERyQ4kJueCCRZ0cXqDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T13:54:39.179872Z"},"content_sha256":"2da7623df8abcccb164f62398ab170adff5a2053af2ef226ac93215dac990785","schema_version":"1.0","event_id":"sha256:2da7623df8abcccb164f62398ab170adff5a2053af2ef226ac93215dac990785"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF/bundle.json","state_url":"https://pith.science/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF/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-06-05T13:54:39Z","links":{"resolver":"https://pith.science/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF","bundle":"https://pith.science/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF/bundle.json","state":"https://pith.science/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LOLPMUTQQ3QNIPSO3NCMBCNHHF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:LOLPMUTQQ3QNIPSO3NCMBCNHHF","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":"bfa0714bb0dd36bbd28fb37ef49374558227e7fef6711c59838928bd87014a1c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-13T13:41:25Z","title_canon_sha256":"e54255d9fd7bf205965008658b6b7545e6935d058028f48e25298c28571f1bb5"},"schema_version":"1.0","source":{"id":"1310.3481","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3481","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3481v1","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3481","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"pith_short_12","alias_value":"LOLPMUTQQ3QN","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"LOLPMUTQQ3QNIPSO","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"LOLPMUTQ","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:2da7623df8abcccb164f62398ab170adff5a2053af2ef226ac93215dac990785","target":"graph","created_at":"2026-05-18T03:10:35Z","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":"The purpose of a program analysis is to compute an abstract meaning for a program which approximates its dynamic behaviour. A compositional program analysis accomplishes this task with a divide-and-conquer strategy: the meaning of a program is computed by dividing it into sub-programs, computing their meaning, and then combining the results. Compositional program analyses are desirable because they can yield scalable (and easily parallelizable) program analyses.\n  This paper presents algebraic framework for designing, implementing, and proving the correctness of compositional program analyses.","authors_text":"Azadeh Farzan, Zachary Kincaid","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-13T13:41:25Z","title":"An Algebraic Framework for Compositional Program Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3481","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:1c65957869a034f00b27c780879f4d09198242ddd05357aa001d0f7b8319fbf2","target":"record","created_at":"2026-05-18T03:10:35Z","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":"bfa0714bb0dd36bbd28fb37ef49374558227e7fef6711c59838928bd87014a1c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-13T13:41:25Z","title_canon_sha256":"e54255d9fd7bf205965008658b6b7545e6935d058028f48e25298c28571f1bb5"},"schema_version":"1.0","source":{"id":"1310.3481","kind":"arxiv","version":1}},"canonical_sha256":"5b96f6527086e0d43e4edb44c089a739557c9e6a8624f9c941be010f604fe0d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b96f6527086e0d43e4edb44c089a739557c9e6a8624f9c941be010f604fe0d2","first_computed_at":"2026-05-18T03:10:35.617039Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:35.617039Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KYxbbO/XpaQC1lR+UaBA54VpBZFSQts5M9gSMQLqbsifREUYj77LWXOreqcWy/kAMBWoej407IFDneIibileAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:35.617507Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.3481","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c65957869a034f00b27c780879f4d09198242ddd05357aa001d0f7b8319fbf2","sha256:2da7623df8abcccb164f62398ab170adff5a2053af2ef226ac93215dac990785"],"state_sha256":"25b35e93362c85820c750c6ea0362bfdfdb63830aaf8fcb5ebc79d63c1e9a684"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7zapHp7TBq/8Kjtk5NQFrXfE389ZbzhrpEqv1GdnvLlcJFIdzC80N4tMesoCraqokSF5mBUMFdx85c8/z/P6Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T13:54:39.181755Z","bundle_sha256":"2469260b4a86ba445a56408f23078c251c03500ab3de47994a0e46c91cf54da9"}}