{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:N34IAMDBAO2UMTMZ4AEBVO4UVS","short_pith_number":"pith:N34IAMDB","schema_version":"1.0","canonical_sha256":"6ef880306103b5464d99e0081abb94acabf488be5af2c82ba2368c55eb9470f0","source":{"kind":"arxiv","id":"1009.1560","version":1},"attestation_state":"computed","paper":{"title":"Stack-Summarizing Control-Flow 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, Matthew Might","submitted_at":"2010-09-08T15:14:13Z","abstract_excerpt":"Two sinks drain precision from higher-order flow analyses: (1) merging of argument values upon procedure call and (2) merging of return values upon procedure return. To combat the loss of precision, these two sinks have been addressed independently. In the case of procedure calls, abstract garbage collection reduces argument merging; while in the case of procedure returns, context-free approaches eliminate return value merging. It is natural to expect a combined analysis could enjoy the mutually beneficial interaction between the two approaches. The central contribution of this work is a direc"},"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":"1009.1560","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-09-08T15:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"246103a352f5be386b1d91e256824e6b75937ea9faec18b09199a7d8eb08183d","abstract_canon_sha256":"5bebbd075dec7a266cf9da5e118ec14f938e93f771ee009a6609e90b9253e37c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:08:45.403439Z","signature_b64":"u1/11TN0tf/C2UCkdrnrrYGzRdT86zG2xy8vNX0JpopljIRxjiWugIBCitN9ygV+EeoND/Y9nxRAjckSfPlSCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ef880306103b5464d99e0081abb94acabf488be5af2c82ba2368c55eb9470f0","last_reissued_at":"2026-05-18T04:08:45.402888Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:08:45.402888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stack-Summarizing Control-Flow 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, Matthew Might","submitted_at":"2010-09-08T15:14:13Z","abstract_excerpt":"Two sinks drain precision from higher-order flow analyses: (1) merging of argument values upon procedure call and (2) merging of return values upon procedure return. To combat the loss of precision, these two sinks have been addressed independently. In the case of procedure calls, abstract garbage collection reduces argument merging; while in the case of procedure returns, context-free approaches eliminate return value merging. It is natural to expect a combined analysis could enjoy the mutually beneficial interaction between the two approaches. The central contribution of this work is a direc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.1560","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":"1009.1560","created_at":"2026-05-18T04:08:45.402957+00:00"},{"alias_kind":"arxiv_version","alias_value":"1009.1560v1","created_at":"2026-05-18T04:08:45.402957+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.1560","created_at":"2026-05-18T04:08:45.402957+00:00"},{"alias_kind":"pith_short_12","alias_value":"N34IAMDBAO2U","created_at":"2026-05-18T12:26:10.704358+00:00"},{"alias_kind":"pith_short_16","alias_value":"N34IAMDBAO2UMTMZ","created_at":"2026-05-18T12:26:10.704358+00:00"},{"alias_kind":"pith_short_8","alias_value":"N34IAMDB","created_at":"2026-05-18T12:26:10.704358+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/N34IAMDBAO2UMTMZ4AEBVO4UVS","json":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS.json","graph_json":"https://pith.science/api/pith-number/N34IAMDBAO2UMTMZ4AEBVO4UVS/graph.json","events_json":"https://pith.science/api/pith-number/N34IAMDBAO2UMTMZ4AEBVO4UVS/events.json","paper":"https://pith.science/paper/N34IAMDB"},"agent_actions":{"view_html":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS","download_json":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS.json","view_paper":"https://pith.science/paper/N34IAMDB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1009.1560&json=true","fetch_graph":"https://pith.science/api/pith-number/N34IAMDBAO2UMTMZ4AEBVO4UVS/graph.json","fetch_events":"https://pith.science/api/pith-number/N34IAMDBAO2UMTMZ4AEBVO4UVS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS/action/storage_attestation","attest_author":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS/action/author_attestation","sign_citation":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS/action/citation_signature","submit_replication":"https://pith.science/pith/N34IAMDBAO2UMTMZ4AEBVO4UVS/action/replication_record"}},"created_at":"2026-05-18T04:08:45.402957+00:00","updated_at":"2026-05-18T04:08:45.402957+00:00"}