{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4J5WEY5EPXN6MX35K36YF2OJZN","short_pith_number":"pith:4J5WEY5E","canonical_record":{"source":{"id":"1307.4585","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T11:36:15Z","cross_cats_sorted":[],"title_canon_sha256":"d3bf0e08c6aa6f9287ef5893a1be125b0f6b71369410bea063818011b16a65b3","abstract_canon_sha256":"0b4e0a456152a5ab18802adaa777005c6a77d8940a8d423cb8a6e25c3db168e2"},"schema_version":"1.0"},"canonical_sha256":"e27b6263a47ddbe65f7d56fd82e9c9cb5aec81bf339a62d9bd07a0361fadf330","source":{"kind":"arxiv","id":"1307.4585","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.4585","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"1307.4585v1","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.4585","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"4J5WEY5EPXN6","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4J5WEY5EPXN6MX35","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4J5WEY5E","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4J5WEY5EPXN6MX35K36YF2OJZN","target":"record","payload":{"canonical_record":{"source":{"id":"1307.4585","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T11:36:15Z","cross_cats_sorted":[],"title_canon_sha256":"d3bf0e08c6aa6f9287ef5893a1be125b0f6b71369410bea063818011b16a65b3","abstract_canon_sha256":"0b4e0a456152a5ab18802adaa777005c6a77d8940a8d423cb8a6e25c3db168e2"},"schema_version":"1.0"},"canonical_sha256":"e27b6263a47ddbe65f7d56fd82e9c9cb5aec81bf339a62d9bd07a0361fadf330","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:18:17.634779Z","signature_b64":"Ngm06ewmE2HfCBuEvj8Dmq0RTNsGXCLFaBzz5NBXt8TNkgdNZP2j86yzF6u9oo2MxIPk/BoFz+/nOUjvt3BJDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e27b6263a47ddbe65f7d56fd82e9c9cb5aec81bf339a62d9bd07a0361fadf330","last_reissued_at":"2026-05-18T03:18:17.633984Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:18:17.633984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.4585","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:18:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BAJcrwtrmW8Vr9nWE2gfVFHLUPhIcFqr4wgIGNj9LBlGWJaF0gupBTWHLnuehEITAbghxRdpnqn3/se+EKcyCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:51:14.599419Z"},"content_sha256":"9c67c3124ec0f3832b33e08b7a1bce06bb1f102fafd14f66d21234f4167d9c32","schema_version":"1.0","event_id":"sha256:9c67c3124ec0f3832b33e08b7a1bce06bb1f102fafd14f66d21234f4167d9c32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4J5WEY5EPXN6MX35K36YF2OJZN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pushdown Systems for Monotone Frameworks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Flemming Nielson, Hanne Riis Nielson, Michal Terepeta","submitted_at":"2013-07-17T11:36:15Z","abstract_excerpt":"Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and available expressions). Weighted pushdown systems is similarly one of the most general frameworks for interprocedural analysis of programs. However, it makes use of idempotent semirings to represent the sets of properties and unfortunately they do not admit analyses whose transfer functions are not strict (e.g., classical bitvector frameworks). This motivates the development of algorithms for backward and forward re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.4585","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:18:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SZcga5ALbNOQ4NwB6zywjxVxb8t68NbYXWxBBVYIwrVGKYn8hatC35WSdM8+R4WkfkyDqc6Ke1AeMcicw3+gAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:51:14.599793Z"},"content_sha256":"2454373a5bbe8901ed681472f98080123e28d3f274c00d85dec952ed3d4992a0","schema_version":"1.0","event_id":"sha256:2454373a5bbe8901ed681472f98080123e28d3f274c00d85dec952ed3d4992a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4J5WEY5EPXN6MX35K36YF2OJZN/bundle.json","state_url":"https://pith.science/pith/4J5WEY5EPXN6MX35K36YF2OJZN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4J5WEY5EPXN6MX35K36YF2OJZN/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-01T16:51:14Z","links":{"resolver":"https://pith.science/pith/4J5WEY5EPXN6MX35K36YF2OJZN","bundle":"https://pith.science/pith/4J5WEY5EPXN6MX35K36YF2OJZN/bundle.json","state":"https://pith.science/pith/4J5WEY5EPXN6MX35K36YF2OJZN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4J5WEY5EPXN6MX35K36YF2OJZN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4J5WEY5EPXN6MX35K36YF2OJZN","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":"0b4e0a456152a5ab18802adaa777005c6a77d8940a8d423cb8a6e25c3db168e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T11:36:15Z","title_canon_sha256":"d3bf0e08c6aa6f9287ef5893a1be125b0f6b71369410bea063818011b16a65b3"},"schema_version":"1.0","source":{"id":"1307.4585","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.4585","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"1307.4585v1","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.4585","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"4J5WEY5EPXN6","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4J5WEY5EPXN6MX35","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4J5WEY5E","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:2454373a5bbe8901ed681472f98080123e28d3f274c00d85dec952ed3d4992a0","target":"graph","created_at":"2026-05-18T03:18:17Z","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":"Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and available expressions). Weighted pushdown systems is similarly one of the most general frameworks for interprocedural analysis of programs. However, it makes use of idempotent semirings to represent the sets of properties and unfortunately they do not admit analyses whose transfer functions are not strict (e.g., classical bitvector frameworks). This motivates the development of algorithms for backward and forward re","authors_text":"Flemming Nielson, Hanne Riis Nielson, Michal Terepeta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T11:36:15Z","title":"Pushdown Systems for Monotone Frameworks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.4585","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:9c67c3124ec0f3832b33e08b7a1bce06bb1f102fafd14f66d21234f4167d9c32","target":"record","created_at":"2026-05-18T03:18:17Z","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":"0b4e0a456152a5ab18802adaa777005c6a77d8940a8d423cb8a6e25c3db168e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T11:36:15Z","title_canon_sha256":"d3bf0e08c6aa6f9287ef5893a1be125b0f6b71369410bea063818011b16a65b3"},"schema_version":"1.0","source":{"id":"1307.4585","kind":"arxiv","version":1}},"canonical_sha256":"e27b6263a47ddbe65f7d56fd82e9c9cb5aec81bf339a62d9bd07a0361fadf330","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e27b6263a47ddbe65f7d56fd82e9c9cb5aec81bf339a62d9bd07a0361fadf330","first_computed_at":"2026-05-18T03:18:17.633984Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:18:17.633984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ngm06ewmE2HfCBuEvj8Dmq0RTNsGXCLFaBzz5NBXt8TNkgdNZP2j86yzF6u9oo2MxIPk/BoFz+/nOUjvt3BJDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:18:17.634779Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.4585","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c67c3124ec0f3832b33e08b7a1bce06bb1f102fafd14f66d21234f4167d9c32","sha256:2454373a5bbe8901ed681472f98080123e28d3f274c00d85dec952ed3d4992a0"],"state_sha256":"e6de9718bcf98dabb36e237cc820fb52c510cabee02e2edf3b4eba9157d3bfe7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C2ZMw9gdzNO8XVJ4o2iyK/RaMtp9Bhgfby6Nm7rwnvyI6Gmf+OtqrCs2L8FuvgAedj0bNHmGrgTKSnm4JdiRAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T16:51:14.601796Z","bundle_sha256":"a2bee6c4ba3650b0cf1b9708b1bcf4d0955ad97f65c0585d482b7f62d10a87e1"}}