{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:SH4MBGTYSFXEGBZRMN3JEDPXV2","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":"aa3ebec12ffec7f921b52815bec398c6e4b6ec56d7fcf05e9a43ed29cb3b179f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-02T15:03:15Z","title_canon_sha256":"d362a42eeb6b79989cd041b498272cbb2d00d94af6b40916d70091fa7ad26a59"},"schema_version":"1.0","source":{"id":"1106.0447","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.0447","created_at":"2026-05-18T04:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1106.0447v1","created_at":"2026-05-18T04:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.0447","created_at":"2026-05-18T04:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"SH4MBGTYSFXE","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"SH4MBGTYSFXEGBZR","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"SH4MBGTY","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:0274cfad9ef32f434f4a79d6f655a726aff8e572749befa16b68439cd7b3241e","target":"graph","created_at":"2026-05-18T04:20:50Z","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":"This paper presents language techniques for applying memoization selectively. The techniques provide programmer control over equality, space usage, and identification of precise dependences so that memoization can be applied according to the needs of an application. Two key properties of the approach are that it accepts and efficient implementation and yields programs whose performance can be analyzed using standard analysis techniques. We describe our approach in the context of a functional language called MFL and an implementation as a Standard ML library. The MFL language employs a modal ty","authors_text":"Guy E. Blelloch, Robert Harper, Umut A. Acar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-02T15:03:15Z","title":"Selective Memoization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.0447","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:d7a913ea1c97c61252a6d24149db90cf91d0c860d24283756834b9a7090ad61a","target":"record","created_at":"2026-05-18T04:20:50Z","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":"aa3ebec12ffec7f921b52815bec398c6e4b6ec56d7fcf05e9a43ed29cb3b179f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-02T15:03:15Z","title_canon_sha256":"d362a42eeb6b79989cd041b498272cbb2d00d94af6b40916d70091fa7ad26a59"},"schema_version":"1.0","source":{"id":"1106.0447","kind":"arxiv","version":1}},"canonical_sha256":"91f8c09a78916e4307316376920df7ae80475a75b7305ed4f06582e5258bd382","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"91f8c09a78916e4307316376920df7ae80475a75b7305ed4f06582e5258bd382","first_computed_at":"2026-05-18T04:20:50.365184Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:50.365184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1fmrhkpoXhpMFMz0E3riUZb5yHDyJXvM1S78lk4hQykg9H+v8Yv8ihm8hdAffdPy/K/p4pox8UsnOqe6cY0ZAw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:50.365937Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.0447","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7a913ea1c97c61252a6d24149db90cf91d0c860d24283756834b9a7090ad61a","sha256:0274cfad9ef32f434f4a79d6f655a726aff8e572749befa16b68439cd7b3241e"],"state_sha256":"7a6d82f5f6d34706b72b60e2b78b417850ae5a6c3465102f50cb8e176a87f711"}